Kani CI

Bump tests/perf/s2n-quic from `4c3ba69` to `c84ba19` #9151

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 30s
documentation	2m 15s
perf	31m 57s
regression (macos-13)	1h 10m 51s
regression (ubuntu-20.04)	25m 41s
regression (ubuntu-22.04)	28m 19s
regression (macos-14)	41m 52s
	3h 25m 25s