Kani Performance Benchmarks

Bump tests/perf/s2n-quic from `1ff3a9c` to `d8be30e` (#3509) #593

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
perf-benchcomp	1h 5m 42s
	1h 5m 42s