Skip to content
ci

build(deps): bump model-checking/kani-github-action from 0.33 to 0.35 #368

Sign in to view logs

build(deps): bump model-checking/kani-github-action from 0.33 to 0.35

build(deps): bump model-checking/kani-github-action from 0.33 to 0.35 #368

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kani
1m 7s
check
58s
integration (aws/s2n-quic)
2m 43s
test (1.57.0, ubuntu-latest, unit-tests, NONE)
2m 46s
test (1.57.0, ubuntu-latest, build-no-default-features, NONE)
4m 23s
test (1.57.0, ubuntu-latest, libfuzzer, NONE)
2m 18s
test (1.57.0, ubuntu-latest, afl, NONE)
2m 9s
test (1.57.0, ubuntu-latest, examples-tests, NONE)
5m 48s
test (1.57.0, macOS-latest, unit-tests, NONE)
3m 18s
test (1.57.0, macOS-latest, build-no-default-features, NONE)
6m 4s
test (1.57.0, macOS-latest, libfuzzer, NONE)
2m 55s
test (1.57.0, macOS-latest, afl, NONE)
2m 19s
test (1.57.0, macOS-latest, examples-tests, NONE)
7m 58s
test (1.64.0, ubuntu-latest, unit-tests, NONE)
3m 9s
test (1.64.0, ubuntu-latest, unit-tests-no-1.57, NONE)
2m 58s
test (1.64.0, ubuntu-latest, build-no-default-features, NONE)
3m 14s
test (1.64.0, ubuntu-latest, libfuzzer, NONE)
2m 59s
test (1.64.0, ubuntu-latest, afl, NONE)
2m 58s
test (1.64.0, ubuntu-latest, examples-tests, NONE)
2m 35s
test (1.64.0, macOS-latest, unit-tests, NONE)
4m 4s
test (1.64.0, macOS-latest, unit-tests-no-1.57, NONE)
2m 40s
test (1.64.0, macOS-latest, build-no-default-features, NONE)
5m 53s
test (1.64.0, macOS-latest, libfuzzer, NONE)
3m 8s
test (1.64.0, macOS-latest, afl, NONE)
4m 50s
test (1.64.0, macOS-latest, examples-tests, NONE)
2m 39s
test (stable, ubuntu-latest, unit-tests, NONE)
1m 37s
test (stable, ubuntu-latest, unit-tests-no-1.57, NONE)
1m 51s
test (stable, ubuntu-latest, build-no-default-features, NONE)
1m 26s
test (stable, ubuntu-latest, libfuzzer, NONE)
2m 24s
test (stable, ubuntu-latest, afl, NONE)
1m 46s
test (stable, ubuntu-latest, examples-tests, NONE)
2m 3s
test (stable, macOS-latest, unit-tests, NONE)
2m 10s
test (stable, macOS-latest, unit-tests-no-1.57, NONE)
1m 49s
test (stable, macOS-latest, build-no-default-features, NONE)
1m 13s
test (stable, macOS-latest, libfuzzer, NONE)
2m 55s
test (stable, macOS-latest, afl, NONE)
3m 33s
test (stable, macOS-latest, examples-tests, NONE)
2m 11s
test (nightly, ubuntu-latest, unit-tests, NONE)
1m 37s
test (nightly, ubuntu-latest, unit-tests-no-1.57, NONE)
2m 22s
test (nightly, ubuntu-latest, build-no-default-features, NONE)
1m 0s
test (nightly, ubuntu-latest, libfuzzer, NONE)
2m 10s
test (nightly, ubuntu-latest, afl, NONE)
2m 18s
test (nightly, ubuntu-latest, examples-tests, NONE)
1m 47s
test (nightly, macOS-latest, unit-tests, NONE)
2m 36s
test (nightly, macOS-latest, unit-tests-no-1.57, NONE)
2m 7s
test (nightly, macOS-latest, build-no-default-features, NONE)
1m 22s
test (nightly, macOS-latest, libfuzzer, NONE)
3m 55s
test (nightly, macOS-latest, afl, NONE)
3m 3s
test (nightly, macOS-latest, examples-tests, NONE)
2m 27s
test (nightly, ubuntu-latest, libfuzzer, address)
3m 19s
test (nightly, macOS-latest, libfuzzer, address)
4m 38s
2h 25m 32s