CI

Ported progs64/VSUpile from compcert 3.8 to 3.13, ported proofs, and … #1043

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.17, 64, vst)	23m 12s
build (8.18, 64, vst)	22m 23s
build (8.19, 32, vst)	22m 38s
build (8.19, 64, vst)	22m 20s
build (dev, 64, vst)	20m 4s
test (8.17, assumptions.txt, 64)	1m 3s
test (8.17, test, 64)	7m 16s
test (8.17, test2, 64)	3m 36s
test (8.17, test4, 64)	3m 39s
test (8.18, assumptions.txt, 64)	1m 0s
test (8.18, test, 64)	5m 58s
test (8.18, test2, 64)	3m 25s
test (8.18, test4, 64)	3m 38s
test (8.19, assumptions.txt, 32)	1m 8s
test (8.19, assumptions.txt, 64)	1m 10s
test (8.19, test, 32)	14m 37s
test (8.19, test, 64)	5m 55s
test (8.19, test2, 32)	3m 38s
test (8.19, test2, 64)	3m 29s
test (8.19, test3, 32)	13m 37s
test (8.19, test4, 64)	3m 41s
test (8.19, test5, 32)	3m 29s
test (dev, assumptions.txt, 64)	1m 14s
test (dev, test, 64)	5m 52s
test (dev, test2, 64)	4m 45s
test (dev, test4, 64)	3m 43s
	3h 26m 30s