Skip to content
Main

updating Docker containers. Synthesis now working on tiny set. starting large scale runs. #38

Sign in to view logs

updating Docker containers. Synthesis now working on tiny set. starting large scale runs.

updating Docker containers. Synthesis now working on tiny set. starting large scale runs. #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
quality
58s
tests-and-type-check (3.11)
1m 2s
tests-and-type-check (3.10)
55s
tests-and-type-check (3.12)
1m 9s
4m 4s