CI

Update makefile and CI for Coq 8.20 (#803) #1114

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.19, 64, vst)	23m 45s
build (8.20, 32, vst)	23m 23s
build (8.20, 64, vst)	23m 1s
build (dev, 64, vst)	21m 42s
test (8.19, assumptions.txt, 64)	1m 25s
test (8.19, test, 64)	6m 15s
test (8.19, test2, 64)	3m 59s
test (8.19, test4, 64)	4m 2s
test (8.19, test5, 64)	3m 41s
test (8.20, assumptions.txt, 32)	1m 27s
test (8.20, assumptions.txt, 64)	1m 27s
test (8.20, test, 32)	14m 4s
test (8.20, test, 64)	6m 13s
test (8.20, test2, 32)	3m 58s
test (8.20, test2, 64)	3m 51s
test (8.20, test3, 32)	12m 40s
test (8.20, test4, 64)	3m 54s
test (8.20, test5, 64)	3m 31s
test (dev, assumptions.txt, 64)	1m 32s
test (dev, test, 64)	5m 48s
test (dev, test2, 64)	1m 55s
test (dev, test4, 64)	3m 35s
test (dev, test5, 64)	3m 36s
	2h 58m 44s