WHNF tests for strict-checked-vars
#1458
Job | Run time |
---|---|
4s | |
12m 29s | |
11m 2s | |
32m 30s | |
11m 52s | |
28m 24s | |
26m 3s | |
7m 19s | |
6m 3s | |
12m 46s | |
2h 28m 32s |
strict-checked-vars
#1458
Job | Run time |
---|---|
4s | |
12m 29s | |
11m 2s | |
32m 30s | |
11m 52s | |
28m 24s | |
26m 3s | |
7m 19s | |
6m 3s | |
12m 46s | |
2h 28m 32s |