verify

Integer Geometry #520

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 2s
verify (00)	7m 35s
verify (01)	7m 50s
verify (02)	5m 26s
verify (03)	2m 36s
verify (04)	2m 41s
verify (05)	2m 53s
verify (06)	2m 10s
verify (07)	2m 26s
verify (08)	3m 46s
verify (09)	5m 17s
verify (10)	4m 49s
verify (11)	5m 54s
verify (12)	3m 20s
verify (13)	4m 51s
verify (14)	6m 18s
verify (15)	5m 23s
verify (16)	3m 44s
verify (17)	4m 30s
verify (18)	3m 33s
verify (19)	8m 38s
docs-and-check	3m 15s
deploy	0s
	1h 37m 57s