Main

Prototype #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-docs	8m 3s
quality	8m 28s
tests-and-type-check (3.12)	7m 4s
tests-and-type-check (3.10)	9m 48s
tests-and-type-check (3.14)	10m 39s
tests-and-type-check (3.13)	8m 36s
tests-and-type-check (3.11)	9m 6s
	1h 1m 44s