Kani CI

Bump tests/perf/s2n-quic from `0b3f892` to `a54686e` #9326

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 31s
documentation	2m 18s
perf	38m 25s
regression (macos-13)	51m 2s
regression (ubuntu-20.04)	30m 1s
regression (ubuntu-22.04)	30m 15s
regression (ubuntu-24.04)	30m 3s
regression (macos-14)	30m 31s
	3h 37m 6s