WHNF tests for strict-checked-vars
#1453
Job | Run time |
---|---|
3s | |
29m 10s | |
31m 14s | |
39m 44s | |
21m 13s | |
28m 52s | |
45m 44s | |
5m 45s | |
8m 8s | |
10m 39s | |
3h 40m 32s |
strict-checked-vars
#1453
Job | Run time |
---|---|
3s | |
29m 10s | |
31m 14s | |
39m 44s | |
21m 13s | |
28m 52s | |
45m 44s | |
5m 45s | |
8m 8s | |
10m 39s | |
3h 40m 32s |