CI

Port VST 2.x to CompCert master #1080

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 64, vst)	22m 52s
build (8.19, 32, vst)	23m 9s
build (8.19, 64, vst)	22m 32s
build (dev, 64, vst)	19m 47s
test (8.18, assumptions.txt, 64)	1m 11s
test (8.18, test, 64)	5m 41s
test (8.18, test2, 64)	3m 17s
test (8.18, test4, 64)	3m 27s
test (8.19, assumptions.txt, 32)	53s
test (8.19, assumptions.txt, 64)	55s
test (8.19, test, 32)	13m 27s
test (8.19, test, 64)	5m 37s
test (8.19, test2, 32)	1m 49s
test (8.19, test2, 64)	3m 19s
test (8.19, test3, 32)	1m 1s
test (8.19, test4, 64)	3m 22s
test (8.19, test5, 32)	52s
test (dev, assumptions.txt, 64)	57s
test (dev, test, 64)	5m 27s
test (dev, test2, 64)	3m 1s
test (dev, test4, 64)	3m 1s
	2h 25m 37s