Skip to content
ci

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kani
1m 25s
check
1m 19s
integration (aws/s2n-quic)
9m 39s
test (1.57.0, ubuntu-latest, unit-tests, NONE)
1m 17s
test (1.57.0, ubuntu-latest, build-no-default-features, NONE)
2m 48s
test (1.57.0, ubuntu-latest, libfuzzer, NONE)
1m 25s
test (1.57.0, ubuntu-latest, afl, NONE)
1m 50s
test (1.57.0, ubuntu-latest, examples-tests, NONE)
4m 57s
test (1.57.0, macOS-latest, unit-tests, NONE)
1m 14s
test (1.57.0, macOS-latest, build-no-default-features, NONE)
3m 29s
test (1.57.0, macOS-latest, libfuzzer, NONE)
1m 35s
test (1.57.0, macOS-latest, afl, NONE)
3m 59s
test (1.57.0, macOS-latest, examples-tests, NONE)
5m 12s
test (1.64.0, ubuntu-latest, unit-tests, NONE)
3m 21s
test (1.64.0, ubuntu-latest, unit-tests-no-1.57, NONE)
4m 17s
test (1.64.0, ubuntu-latest, build-no-default-features, NONE)
3m 29s
test (1.64.0, ubuntu-latest, libfuzzer, NONE)
4m 42s
test (1.64.0, ubuntu-latest, afl, NONE)
4m 27s
test (1.64.0, ubuntu-latest, examples-tests, NONE)
4m 19s
test (1.64.0, macOS-latest, unit-tests, NONE)
3m 48s
test (1.64.0, macOS-latest, unit-tests-no-1.57, NONE)
4m 0s
test (1.64.0, macOS-latest, build-no-default-features, NONE)
2m 58s
test (1.64.0, macOS-latest, libfuzzer, NONE)
5m 56s
test (1.64.0, macOS-latest, afl, NONE)
10m 31s
test (1.64.0, macOS-latest, examples-tests, NONE)
5m 13s
test (stable, ubuntu-latest, unit-tests, NONE)
1m 43s
test (stable, ubuntu-latest, unit-tests-no-1.57, NONE)
1m 25s
test (stable, ubuntu-latest, build-no-default-features, NONE)
1m 29s
test (stable, ubuntu-latest, libfuzzer, NONE)
2m 12s
test (stable, ubuntu-latest, afl, NONE)
2m 12s
test (stable, ubuntu-latest, examples-tests, NONE)
2m 7s
test (stable, macOS-latest, unit-tests, NONE)
3m 11s
test (stable, macOS-latest, unit-tests-no-1.57, NONE)
4m 28s
test (stable, macOS-latest, build-no-default-features, NONE)
1m 37s
test (stable, macOS-latest, libfuzzer, NONE)
3m 1s
test (stable, macOS-latest, afl, NONE)
3m 0s
test (stable, macOS-latest, examples-tests, NONE)
2m 21s
test (nightly, ubuntu-latest, unit-tests, NONE)
1m 53s
test (nightly, ubuntu-latest, unit-tests-no-1.57, NONE)
2m 7s
test (nightly, ubuntu-latest, build-no-default-features, NONE)
1m 23s
test (nightly, ubuntu-latest, libfuzzer, NONE)
2m 39s
test (nightly, ubuntu-latest, afl, NONE)
1m 59s
test (nightly, ubuntu-latest, examples-tests, NONE)
1m 48s
test (nightly, macOS-latest, unit-tests, NONE)
2m 7s
test (nightly, macOS-latest, unit-tests-no-1.57, NONE)
2m 58s
test (nightly, macOS-latest, build-no-default-features, NONE)
1m 31s
test (nightly, macOS-latest, libfuzzer, NONE)
3m 32s
test (nightly, macOS-latest, afl, NONE)
3m 25s
test (nightly, macOS-latest, examples-tests, NONE)
2m 28s
test (nightly, ubuntu-latest, libfuzzer, address)
3m 9s
test (nightly, macOS-latest, libfuzzer, address)
6m 34s
2h 43m 29s