ci

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 (… #443

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
integration (aws/s2n-quic)	7m 36s
check	1m 15s
kani	38s
test (1.57.0, ubuntu-latest)	17m 58s
test (1.57.0, macOS-latest)	26m 44s
test (stable, ubuntu-latest)	9m 0s
test (stable, macOS-latest)	14m 5s
test (nightly, ubuntu-latest)	9m 55s
test (nightly, macOS-latest)	15m 19s
	1h 42m 30s