CI

update pdfs #32

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Python lint and tests	11s
C sanitizer run (ASan + UBSan)	9s
C build and tests	13s
C/Python semantic parity	-1s
	32s