Export is.waive() for extensions to use
#2832
| Job | Run time |
|---|---|
| 6m 7s | |
| 12m 36s | |
| 12m 46s | |
| 10m 31s | |
| 8m 43s | |
| 8m 38s | |
| 9m 5s | |
| 8m 27s | |
| 8m 16s | |
| 1h 25m 9s |
is.waive() for extensions to use
#2832
| Job | Run time |
|---|---|
| 6m 7s | |
| 12m 36s | |
| 12m 46s | |
| 10m 31s | |
| 8m 43s | |
| 8m 38s | |
| 9m 5s | |
| 8m 27s | |
| 8m 16s | |
| 1h 25m 9s |