Delete any_slice
which has been deprecated since Kani 0.38.0. (#2860)
#5617
kani.yml
on: push
write-json-symtab-regression
19m 26s
benchcomp-tests
4m 9s
perf
27m 22s
bookrunner
15m 31s
Matrix: regression