Main

updating Docker containers. Synthesis now working on tiny set. starti… #39

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests-and-type-check (3.11)	58s
quality	54s
tests-and-type-check (3.12)	1m 13s
tests-and-type-check (3.10)	59s
	4m 4s