what4: Don't annotate {Nonce,}AppExprs
#1056
| Job | Run time |
|---|---|
| 55s | |
| 4m 25s | |
| 4m 26s | |
| 4m 28s | |
| 6m 31s | |
| 4m 21s | |
| 4m 33s | |
| 4m 19s | |
| 14m 6s | |
| 13m 18s | |
| 12m 17s | |
| 12m 21s | |
| 14m 54s | |
| 9m 37s | |
| 8m 4s | |
| 1h 58m 35s |
{Nonce,}AppExprs
#1056
| Job | Run time |
|---|---|
| 55s | |
| 4m 25s | |
| 4m 26s | |
| 4m 28s | |
| 6m 31s | |
| 4m 21s | |
| 4m 33s | |
| 4m 19s | |
| 14m 6s | |
| 13m 18s | |
| 12m 17s | |
| 12m 21s | |
| 14m 54s | |
| 9m 37s | |
| 8m 4s | |
| 1h 58m 35s |