WHNF tests for strict-checked-vars
#1459
Job | Run time |
---|---|
4s | |
29m 20s | |
31m 27s | |
32m 58s | |
21m 30s | |
41m 50s | |
34m 7s | |
7m 9s | |
6m 18s | |
10m 11s | |
3h 34m 54s |
strict-checked-vars
#1459
Job | Run time |
---|---|
4s | |
29m 20s | |
31m 27s | |
32m 58s | |
21m 30s | |
41m 50s | |
34m 7s | |
7m 9s | |
6m 18s | |
10m 11s | |
3h 34m 54s |