Main

Merge pull request #18 from formula-code/feature/synthesis-hardening #167

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
quality	49s
tests-and-type-check (3.11)	1m 5s
tests-and-type-check (3.12)	1m 19s
	3m 13s