CI

Adapt to Coq 8.19 and CompCert 3.13.1 #967

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.17, 64, vst)	31m 22s
build (8.18, 64, vst)	30m 23s
build (8.19, 32, vst)	30m 7s
build (8.19, 64, vst)	29m 57s
build (dev, 64, vst)	26m 52s
test (8.17, assumptions.txt, 64)	1m 16s
test (8.17, test, 64)	5m 45s
test (8.17, test2, 64)	3m 31s
test (8.17, test4, 64)	3m 41s
test (8.18, assumptions.txt, 64)	1m 7s
test (8.18, test, 64)	5m 42s
test (8.18, test2, 64)	3m 32s
test (8.18, test4, 64)	3m 40s
test (8.19, assumptions.txt, 32)	1m 10s
test (8.19, assumptions.txt, 64)	1m 5s
test (8.19, test, 32)	14m 12s
test (8.19, test, 64)	5m 46s
test (8.19, test2, 32)	3m 48s
test (8.19, test2, 64)	3m 30s
test (8.19, test3, 32)	12m 20s
test (8.19, test4, 64)	3m 39s
test (8.19, test5, 32)	3m 29s
test (dev, assumptions.txt, 64)	1m 3s
test (dev, test, 64)	6m 0s
test (dev, test2, 64)	3m 31s
test (dev, test4, 64)	3m 49s
	4h 0m 17s