Bump tests/perf/s2n-quic from 5240fd6 to 73c9278#4419

tautschnig merged 1 commit intomainmodel-checking/kani:mainfrom

dependabot/submodules/tests/perf/s2n-quic-73c9278model-checking/kani:dependabot/submodules/tests/perf/s2n-quic-73c9278Copy head branch name to clipboard