Delete any_slice which has been deprecated since Kani 0.38.0. (#2860)
#5617
| Job | Run time |
|---|---|
| 19m 26s | |
| 4m 9s | |
| 29m 0s | |
| 41m 38s | |
| 15m 31s | |
| 34m 55s | |
| 27m 22s | |
| 2h 52m 1s |