CI

Port VST 2.x to CompCert master #1083

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 64, vst)	22m 39s
build (8.19, 32, vst)	22m 38s
build (8.19, 64, vst)	22m 49s
build (dev, 64, vst)	19m 34s
test (8.18, assumptions.txt, 64)	1m 2s
test (8.18, test, 64)	5m 55s
test (8.18, test2, 64)	3m 27s
test (8.18, test4, 64)	3m 50s
test (8.18, test5, 64)	3m 1s
test (8.19, assumptions.txt, 32)	1m 2s
test (8.19, assumptions.txt, 64)	1m 1s
test (8.19, test, 32)	13m 15s
test (8.19, test, 64)	5m 45s
test (8.19, test2, 32)	3m 18s
test (8.19, test2, 64)	3m 21s
test (8.19, test3, 32)	1m 3s
test (8.19, test4, 64)	3m 44s
test (8.19, test5, 64)	3m 5s
test (dev, assumptions.txt, 64)	59s
test (dev, test, 64)	5m 18s
test (dev, test2, 64)	3m 8s
test (dev, test4, 64)	3m 3s
test (dev, test5, 64)	3m 10s
	2h 36m 7s