CI

Update makefile and CI for Coq 8.20 #1110

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 64, vst)	23m 34s
build (8.19, 32, vst)	23m 32s
build (8.19, 64, vst)	23m 28s
build (dev, 64, vst)	19m 25s
test (8.18, assumptions.txt, 64)	1m 31s
test (8.18, test, 64)	6m 28s
test (8.18, test2, 64)	3m 56s
test (8.18, test4, 64)	4m 6s
test (8.18, test5, 64)	3m 31s
test (8.19, assumptions.txt, 32)	1m 40s
test (8.19, assumptions.txt, 64)	1m 28s
test (8.19, test, 32)	14m 2s
test (8.19, test, 64)	6m 8s
test (8.19, test2, 32)	4m 0s
test (8.19, test2, 64)	3m 54s
test (8.19, test3, 32)	12m 27s
test (8.19, test4, 64)	3m 59s
test (8.19, test5, 64)	3m 38s
test (dev, assumptions.txt, 64)	1m 32s
test (dev, test, 64)	5m 53s
test (dev, test2, 64)	2m 1s
test (dev, test4, 64)	3m 34s
test (dev, test5, 64)	3m 33s
	2h 57m 20s