Bump external/Catch2 from 85eb465
to 3a5cde5
(#2815)
#1217
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention