Skip to content
ci

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
3m 3s
kani
1m 30s
integration (aws/s2n-quic)
7m 4s
test (1.57.0, ubuntu-latest, unit-tests, NONE)
2m 27s
test (1.57.0, ubuntu-latest, build-no-default-features, NONE)
4m 18s
test (1.57.0, ubuntu-latest, libfuzzer, NONE)
2m 33s
test (1.57.0, ubuntu-latest, afl, NONE)
2m 56s
test (1.57.0, ubuntu-latest, examples-tests, NONE)
3m 56s
test (1.57.0, macOS-latest, unit-tests, NONE)
2m 3s
test (1.57.0, macOS-latest, build-no-default-features, NONE)
1m 1s
test (1.57.0, macOS-latest, libfuzzer, NONE)
3m 10s
test (1.57.0, macOS-latest, afl, NONE)
2m 0s
test (1.57.0, macOS-latest, examples-tests, NONE)
1m 20s
test (1.64.0, ubuntu-latest, unit-tests, NONE)
5m 31s
test (1.64.0, ubuntu-latest, unit-tests-no-1.57, NONE)
4m 51s
test (1.64.0, ubuntu-latest, build-no-default-features, NONE)
4m 0s
test (1.64.0, ubuntu-latest, libfuzzer, NONE)
3m 45s
test (1.64.0, ubuntu-latest, afl, NONE)
4m 40s
test (1.64.0, ubuntu-latest, examples-tests, NONE)
6m 15s
test (1.64.0, macOS-latest, unit-tests, NONE)
1m 53s
test (1.64.0, macOS-latest, unit-tests-no-1.57, NONE)
1m 41s
test (1.64.0, macOS-latest, build-no-default-features, NONE)
2m 54s
test (1.64.0, macOS-latest, libfuzzer, NONE)
2m 36s
test (1.64.0, macOS-latest, afl, NONE)
3m 22s
test (1.64.0, macOS-latest, examples-tests, NONE)
3m 4s
test (stable, ubuntu-latest, unit-tests, NONE)
1m 51s
test (stable, ubuntu-latest, unit-tests-no-1.57, NONE)
3m 19s
test (stable, ubuntu-latest, build-no-default-features, NONE)
1m 44s
test (stable, ubuntu-latest, libfuzzer, NONE)
2m 30s
test (stable, ubuntu-latest, afl, NONE)
1m 50s
test (stable, ubuntu-latest, examples-tests, NONE)
2m 51s
test (stable, macOS-latest, unit-tests, NONE)
1m 50s
test (stable, macOS-latest, unit-tests-no-1.57, NONE)
1m 47s
test (stable, macOS-latest, build-no-default-features, NONE)
1m 28s
test (stable, macOS-latest, libfuzzer, NONE)
3m 43s
test (stable, macOS-latest, afl, NONE)
2m 52s
test (stable, macOS-latest, examples-tests, NONE)
3m 2s
test (nightly, ubuntu-latest, unit-tests, NONE)
2m 33s
test (nightly, ubuntu-latest, unit-tests-no-1.57, NONE)
2m 2s
test (nightly, ubuntu-latest, build-no-default-features, NONE)
1m 15s
test (nightly, ubuntu-latest, libfuzzer, NONE)
3m 19s
test (nightly, ubuntu-latest, afl, NONE)
2m 42s
test (nightly, ubuntu-latest, examples-tests, NONE)
1m 57s
test (nightly, macOS-latest, unit-tests, NONE)
2m 28s
test (nightly, macOS-latest, unit-tests-no-1.57, NONE)
1m 55s
test (nightly, macOS-latest, build-no-default-features, NONE)
2m 58s
test (nightly, macOS-latest, libfuzzer, NONE)
3m 25s
test (nightly, macOS-latest, afl, NONE)
3m 14s
test (nightly, macOS-latest, examples-tests, NONE)
2m 29s
test (nightly, ubuntu-latest, libfuzzer, address)
2m 59s
test (nightly, macOS-latest, libfuzzer, address)
3m 54s
2h 27m 50s