Export is.waive() for extensions to use
#2851
| Job | Run time |
|---|---|
| 5m 3s | |
| 10m 51s | |
| 11m 20s | |
| 11m 29s | |
| 8m 34s | |
| 8m 35s | |
| 9m 24s | |
| 9m 2s | |
| 8m 50s | |
| 1h 23m 8s |
is.waive() for extensions to use
#2851
| Job | Run time |
|---|---|
| 5m 3s | |
| 10m 51s | |
| 11m 20s | |
| 11m 29s | |
| 8m 34s | |
| 8m 35s | |
| 9m 24s | |
| 9m 2s | |
| 8m 50s | |
| 1h 23m 8s |