Delete any_slice which has been deprecated since Kani 0.38.0.
#5612
zhassan-awskani.yml
on: pull_request
write-json-symtab-regression
12m 25s
benchcomp-tests
4m 50s
perf
36m 52s
bookrunner
35m 13s
Matrix: regression