Back to pull request #794

Adapt to https://github.com/coq/coq/pull/19530 #1104

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 64, vst)	22m 55s
build (8.19, 32, vst)	23m 22s
build (8.19, 64, vst)	23m 17s
build (dev, 64, vst)	19m 32s
test (8.18, assumptions.txt, 64)	1m 31s
test (8.18, test, 64)	6m 11s
test (8.18, test2, 64)	3m 58s
test (8.18, test4, 64)	3m 55s
test (8.18, test5, 64)	3m 33s
test (8.19, assumptions.txt, 32)	1m 25s
test (8.19, assumptions.txt, 64)	1m 27s
test (8.19, test, 32)	14m 11s
test (8.19, test, 64)	6m 9s
test (8.19, test2, 32)	3m 59s
test (8.19, test2, 64)	3m 50s
test (8.19, test3, 32)	12m 36s
test (8.19, test4, 64)	4m 15s
test (8.19, test5, 64)	3m 39s
test (dev, assumptions.txt, 64)	1m 27s
test (dev, test, 64)	5m 49s
test (dev, test2, 64)	3m 38s
test (dev, test4, 64)	3m 30s
test (dev, test5, 64)	3m 27s
	2h 57m 36s