Kani CI

Bump tests/perf/s2n-quic from `c84ba19` to `96d2e22` #9208

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	6m 16s
perf	33m 20s
documentation	2m 51s
regression (macos-13)	53m 48s
regression (ubuntu-20.04)	28m 50s
regression (ubuntu-22.04)	28m 48s
regression (macos-14)	35m 30s
	3h 9m 23s