Wrap functor facts in abstract lemmas. #1061

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.17, 64, vst)	34m 42s
build (8.18, 64, vst)	33m 16s
build (8.19, 32, vst)	34m 51s
build (8.19, 64, vst)	33m 31s
build (dev, 64, vst)	19m 56s
test (8.17, assumptions.txt, 64)	1m 8s
test (8.17, test, 64)	5m 49s
test (8.17, test2, 64)	3m 34s
test (8.17, test4, 64)	3m 46s
test (8.18, assumptions.txt, 64)	1m 1s
test (8.18, test, 64)	5m 44s
test (8.18, test2, 64)	3m 25s
test (8.18, test4, 64)	3m 58s
test (8.19, assumptions.txt, 32)	1m 0s
test (8.19, assumptions.txt, 64)	1m 7s
test (8.19, test, 32)	14m 22s
test (8.19, test, 64)	5m 39s
test (8.19, test2, 32)	3m 35s
test (8.19, test2, 64)	3m 28s
test (8.19, test3, 32)	12m 17s
test (8.19, test4, 64)	3m 33s
test (8.19, test5, 32)	3m 31s
test (dev, assumptions.txt, 64)	1m 0s
test (dev, test, 64)	5m 48s
test (dev, test2, 64)	3m 27s
test (dev, test4, 64)	3m 35s
	4h 7m 3s