Port VST 2.x to CompCert master #1085

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 64, vst)	22m 53s
build (8.19, 32, vst)	22m 24s
build (8.19, 64, vst)	23m 14s
build (dev, 64, vst)	19m 50s
test (8.18, assumptions.txt, 64)	56s
test (8.18, test, 64)	5m 37s
test (8.18, test2, 64)	3m 18s
test (8.18, test4, 64)	3m 23s
test (8.18, test5, 64)	3m 12s
test (8.19, assumptions.txt, 32)	55s
test (8.19, assumptions.txt, 64)	56s
test (8.19, test, 32)	13m 35s
test (8.19, test, 64)	5m 49s
test (8.19, test2, 32)	3m 28s
test (8.19, test2, 64)	3m 21s
test (8.19, test3, 32)	12m 14s
test (8.19, test4, 64)	3m 24s
test (8.19, test5, 64)	3m 8s
test (dev, assumptions.txt, 64)	57s
test (dev, test, 64)	5m 21s
test (dev, test2, 64)	3m 1s
test (dev, test4, 64)	2m 57s
test (dev, test5, 64)	2m 53s
	2h 46m 46s