removed a call to try simple apply eq_refl in SC_tac #922

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.16, 64, vst)	40m 15s
build (8.17, 64, vst)	39m 54s
build (8.18, 32, vst)	35m 10s
build (8.18, 64, vst)	35m 24s
build (dev, 64, vst)	30m 2s
test (8.16, assumptions.txt, 64)	1m 21s
test (8.16, test, 64)	8m 41s
test (8.16, test2, 64)	4m 48s
test (8.16, test4, 64)	5m 11s
test (8.17, assumptions.txt, 64)	1m 4s
test (8.17, test, 64)	7m 43s
test (8.17, test2, 64)	5m 22s
test (8.17, test4, 64)	6m 23s
test (8.18, assumptions.txt, 32)	1m 24s
test (8.18, assumptions.txt, 64)	1m 4s
test (8.18, test, 32)	20m 29s
test (8.18, test, 64)	7m 31s
test (8.18, test2, 32)	5m 29s
test (8.18, test2, 64)	5m 17s
test (8.18, test3, 32)	24m 43s
test (8.18, test4, 64)	4m 45s
test (8.18, test5, 32)	4m 13s
test (dev, assumptions.txt, 64)	1m 8s
test (dev, test, 64)	7m 34s
test (dev, test2, 64)	5m 12s
test (dev, test4, 64)	6m 2s
	5h 16m 9s