Delete any_slice which has been deprecated since Kani 0.38.0.
#4162
zhassan-aws
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention