CI

Update makefile and CI for Coq 8.20 #1111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.19, 64, vst)	23m 32s
build (8.20, 32, vst)	23m 22s
build (8.20, 64, vst)	23m 23s
build (dev, 64, vst)	19m 39s
test (8.19, assumptions.txt, 64)	1m 37s
test (8.19, test, 64)	6m 24s
test (8.19, test2, 64)	4m 4s
test (8.19, test4, 64)	3m 56s
test (8.19, test5, 64)	3m 36s
test (8.20, assumptions.txt, 32)	1m 29s
test (8.20, assumptions.txt, 64)	1m 28s
test (8.20, test, 32)	14m 11s
test (8.20, test, 64)	6m 15s
test (8.20, test2, 32)	4m 1s
test (8.20, test2, 64)	3m 53s
test (8.20, test3, 32)	9m 37s
test (8.20, test4, 64)	3m 56s
test (8.20, test5, 64)	3m 37s
test (dev, assumptions.txt, 64)	1m 34s
test (dev, test, 64)	5m 44s
test (dev, test2, 64)	2m 29s
test (dev, test4, 64)	3m 32s
test (dev, test5, 64)	3m 32s
	2h 54m 51s