Bump tests/perf/s2n-quic from `550afb3` to `8f54b57`#4122

tautschnig merged 1 commit intomainmodel-checking/kani:mainfrom

dependabot/submodules/tests/perf/s2n-quic-8f54b57model-checking/kani:dependabot/submodules/tests/perf/s2n-quic-8f54b57Copy head branch name to clipboard