Port VST 2.x to CompCert master #1086

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 64, vst)	22m 40s
build (8.19, 32, vst)	22m 38s
build (8.19, 64, vst)	22m 55s
build (dev, 64, vst)	19m 17s
test (8.18, assumptions.txt, 64)	55s
test (8.18, test, 64)	5m 32s
test (8.18, test2, 64)	3m 22s
test (8.18, test4, 64)	3m 29s
test (8.18, test5, 64)	3m 3s
test (8.19, assumptions.txt, 32)	56s
test (8.19, assumptions.txt, 64)	56s
test (8.19, test, 32)	13m 27s
test (8.19, test, 64)	5m 39s
test (8.19, test2, 32)	3m 20s
test (8.19, test2, 64)	3m 18s
test (8.19, test3, 32)	11m 53s
test (8.19, test4, 64)	3m 27s
test (8.19, test5, 64)	3m 1s
test (dev, assumptions.txt, 64)	50s
test (dev, test, 64)	5m 12s
test (dev, test2, 64)	3m 0s
test (dev, test4, 64)	2m 57s
test (dev, test5, 64)	2m 51s
	2h 44m 38s