CI

Port VST 2.x to CompCert master #1076

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 64, vst)	22m 31s
build (8.19, 32, vst)	22m 45s
build (8.19, 64, vst)	22m 40s
build (dev, 64, vst)	19m 17s
test (8.18, assumptions.txt, 64)	59s
test (8.18, test, 64)	1m 0s
test (8.18, test2, 64)	1m 54s
test (8.18, test4, 64)	58s
test (8.19, assumptions.txt, 32)	53s
test (8.19, assumptions.txt, 64)	59s
test (8.19, test, 32)	1m 2s
test (8.19, test, 64)	55s
test (8.19, test2, 32)	1m 56s
test (8.19, test2, 64)	1m 50s
test (8.19, test3, 32)	55s
test (8.19, test4, 64)	52s
test (8.19, test5, 32)	1m 3s
test (dev, assumptions.txt, 64)	53s
test (dev, test, 64)	5m 12s
test (dev, test2, 64)	1m 57s
test (dev, test4, 64)	2m 58s
	1h 53m 29s