Kani CI

Bump tests/perf/s2n-quic from `22434aa` to `550afb3` #10598

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 2s
regression (ubuntu-22.04)	32m 15s
documentation	2m 21s
regression (macos-13)	45m 1s
perf	41m 41s
regression (ubuntu-24.04)	28m 56s
llbc-regression	3m 36s
regression (macos-14)	42m 4s
	3h 19m 56s