Do not use Prelude; concoct our own Happy_Prelude alias (#325) #538
| Job | Run time |
|---|---|
| 2m 20s | |
| 2m 9s | |
| 2m 7s | |
| 1m 54s | |
| 1m 35s | |
| 1m 31s | |
| 1m 38s | |
| 1m 28s | |
| 1m 36s | |
| 1m 35s | |
| 1m 26s | |
| 1m 47s | |
| 21m 6s |
| Job | Run time |
|---|---|
| 2m 20s | |
| 2m 9s | |
| 2m 7s | |
| 1m 54s | |
| 1m 35s | |
| 1m 31s | |
| 1m 38s | |
| 1m 28s | |
| 1m 36s | |
| 1m 35s | |
| 1m 26s | |
| 1m 47s | |
| 21m 6s |