Kani CI

Bump tests/perf/s2n-quic from `adc7ba9` to `f0649f9` #9538

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	5m 43s
perf	43m 46s
documentation	2m 11s
regression (macos-13)	58m 25s
regression (ubuntu-20.04)	34m 36s
regression (ubuntu-22.04)	31m 54s
regression (ubuntu-24.04)	38m 52s
regression (macos-14)	30m 40s
	4h 6m 7s