Kani CI

Bump tests/perf/s2n-quic from `cb41b35` to `4c3ba69` #9084

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	5m 20s
documentation	2m 12s
regression (macos-13)	1h 3m 2s
regression (ubuntu-20.04)	26m 44s
regression (ubuntu-22.04)	26m 30s
perf	34m 0s
regression (macos-14)	33m 8s
	3h 10m 56s