build(deps): bump model-checking/kani-github-action from 0.36 to 0.37 #389

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	33s
test (1.57.0, ubuntu-latest)	8m 43s
kani	1m 6s
test (1.57.0, macOS-latest)	16m 37s
integration (aws/s2n-quic)	14m 5s
test (stable, ubuntu-latest)	9m 45s
test (stable, macOS-latest)	19m 4s
test (nightly, ubuntu-latest)	9m 0s
test (nightly, macOS-latest)	15m 43s
	1h 34m 36s