Delete any_slice which has been deprecated since Kani 0.38.0.
#5613
zhassan-awskani.yml
on: pull_request
write-json-symtab-regression
21m 22s
benchcomp-tests
6m 47s
perf
39m 51s
bookrunner
36m 47s
Matrix: regression