CI

Adapt to Coq 8.19 and CompCert 3.13.1 #966

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.17, 64, vst)	31m 6s
build (8.18, 64, vst)	30m 24s
build (8.19, 32, vst)	29m 45s
build (8.19, 64, vst)	29m 42s
build (dev, 64, vst)	26m 49s
test (8.17, assumptions.txt, 64)	1m 7s
test (8.17, test, 64)	5m 52s
test (8.17, test2, 64)	3m 35s
test (8.17, test4, 64)	3m 40s
test (8.18, assumptions.txt, 64)	1m 9s
test (8.18, test, 64)	5m 49s
test (8.18, test2, 64)	3m 28s
test (8.18, test4, 64)	3m 34s
test (8.19, assumptions.txt, 32)	1m 8s
test (8.19, assumptions.txt, 64)	1m 5s
test (8.19, test, 32)	14m 19s
test (8.19, test, 64)	5m 44s
test (8.19, test2, 32)	3m 39s
test (8.19, test2, 64)	3m 31s
test (8.19, test3, 32)	1m 7s
test (8.19, test4, 64)	3m 42s
test (8.19, test5, 32)	3m 34s
test (dev, assumptions.txt, 64)	1m 5s
test (dev, test, 64)	5m 52s
test (dev, test2, 64)	3m 36s
test (dev, test4, 64)	3m 46s
	3h 48m 8s