New lemma data_at_conflict_glb #923

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.16, 64, vst)	37m 40s
build (8.17, 64, vst)	53m 18s
build (8.18, 32, vst)	35m 17s
build (8.18, 64, vst)	50m 31s
build (dev, 64, vst)	31m 22s
test (8.16, assumptions.txt, 64)	1m 9s
test (8.16, test, 64)	12m 11s
test (8.16, test2, 64)	5m 38s
test (8.16, test4, 64)	6m 17s
test (8.17, assumptions.txt, 64)	1m 11s
test (8.17, test, 64)	7m 31s
test (8.17, test2, 64)	4m 46s
test (8.17, test4, 64)	4m 54s
test (8.18, assumptions.txt, 32)	1m 4s
test (8.18, assumptions.txt, 64)	1m 15s
test (8.18, test, 32)	19m 0s
test (8.18, test, 64)	9m 48s
test (8.18, test2, 32)	4m 32s
test (8.18, test2, 64)	4m 29s
test (8.18, test3, 32)	16m 51s
test (8.18, test4, 64)	6m 11s
test (8.18, test5, 32)	4m 18s
test (dev, assumptions.txt, 64)	1m 1s
test (dev, test, 64)	7m 34s
test (dev, test2, 64)	5m 23s
test (dev, test4, 64)	5m 6s
	5h 38m 17s