Replace none() with discard() (#2377)
#2135
| Job | Run time |
|---|---|
| 4m 9s | |
| 14m 3s | |
| 21m 16s | |
| 17m 3s | |
| 13m 27s | |
| 2m 12s | |
| 6m 12s | |
| 22m 15s | |
| 8m 54s | |
| 12m 5s | |
| 9m 51s | |
| 4m 5s | |
| 3m 49s | |
| 5m 44s | |
| 5m 43s | |
| 5m 44s | |
| 3m 47s | |
| 5m 52s | |
| 2h 46m 11s |