WHNF tests for strict-checked-vars
#1461
| Job | Run time |
|---|---|
| 4s | |
| 4s | |
| 25m 17s | |
| 25m 17s | |
| 34m 18s | |
| 37m 6s | |
| 54m 37s | |
| 54m 37s | |
| 21m 55s | |
| 21m 55s | |
| 31m 13s | |
| 31m 13s | |
| 40m 11s | |
| 40m 11s | |
| 24m 3s | |
| 24m 3s | |
| 29m 0s | |
| 29m 0s | |
| 47m 51s | |
| 47m 51s | |
| 10h 19m 46s |