Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Nightly: CBMC Latest Nightly: CBMC Latest #1236: Scheduled
21m 25s main
main
21m 25s
Nightly: Slow tests Nightly: Slow tests #1347: Scheduled
14m 1s main
main
14m 1s
Attempt toolchain update Attempt toolchain update #1320: Scheduled
2m 12s main
main
2m 12s
Set kani-compiler's required rustc flags unconditionally Kani Extra #5048: Pull request #4601 opened by lovesegfault
1h 42m 36s
1h 42m 36s
Set kani-compiler's required rustc flags unconditionally Kani CI #12850: Pull request #4601 opened by lovesegfault
51m 41s lovesegfault:compiler-defaults
lovesegfault:compiler-defaults
51m 41s
Set kani-compiler's required rustc flags unconditionally Release Bundle #6129: Pull request #4601 opened by lovesegfault
16m 25s lovesegfault:compiler-defaults
lovesegfault:compiler-defaults
16m 25s
Set kani-compiler's required rustc flags unconditionally Cargo Deny #4874: Pull request #4601 opened by lovesegfault
53s lovesegfault:compiler-defaults
lovesegfault:compiler-defaults
53s
Set kani-compiler's required rustc flags unconditionally Kani Format Check #12681: Pull request #4601 opened by lovesegfault
2m 38s lovesegfault:compiler-defaults
lovesegfault:compiler-defaults
2m 38s
Set kani-compiler's required rustc flags unconditionally Check Std Verification #2533: Pull request #4601 opened by lovesegfault
5m 33s lovesegfault:compiler-defaults
lovesegfault:compiler-defaults
5m 33s
Add 'kani verify-artifacts' subcommand Kani Format Check #12680: Pull request #4600 opened by lovesegfault
2m 26s lovesegfault:verify-only
lovesegfault:verify-only
2m 26s
Add 'kani verify-artifacts' subcommand Kani Extra #5047: Pull request #4600 opened by lovesegfault
16s
16s
Add 'kani verify-artifacts' subcommand Kani CI #12849: Pull request #4600 opened by lovesegfault
1h 19m 27s lovesegfault:verify-only
lovesegfault:verify-only
1h 19m 27s
Add 'kani verify-artifacts' subcommand Release Bundle #6128: Pull request #4600 opened by lovesegfault
13m 59s lovesegfault:verify-only
lovesegfault:verify-only
13m 59s
Add 'kani verify-artifacts' subcommand Cargo Deny #4873: Pull request #4600 opened by lovesegfault
55s lovesegfault:verify-only
lovesegfault:verify-only
55s
Add 'kani verify-artifacts' subcommand Check Std Verification #2532: Pull request #4600 opened by lovesegfault
5m 29s lovesegfault:verify-only
lovesegfault:verify-only
5m 29s
Nightly: CBMC Latest Nightly: CBMC Latest #1235: Scheduled
21m 21s main
main
21m 21s
Nightly: Slow tests Nightly: Slow tests #1346: Scheduled
11m 26s main
main
11m 26s
Attempt toolchain update Attempt toolchain update #1319: Scheduled
2m 1s main
main
2m 1s
Nightly: CBMC Latest Nightly: CBMC Latest #1234: Scheduled
20m 46s main
main
20m 46s
Nightly: Slow tests Nightly: Slow tests #1345: Scheduled
12m 10s main
main
12m 10s
pages build and deployment pages-build-deployment #2143: by github-pages Bot
26s gh-pages
gh-pages
26s
Push on gh-pages CodeQL #1005: by github-actions Bot
1m 40s gh-pages
gh-pages
1m 40s
Bump tests/perf/s2n-quic from 08ca4de to ce1da94 (#4599) Kani Compiler Performance Benchmarks #304: Commit c7f6948 pushed by github-merge-queue Bot
40m 16s main
main
40m 16s
Bump tests/perf/s2n-quic from 08ca4de to ce1da94 (#4599) Kani CI #12848: Commit c7f6948 pushed by github-merge-queue Bot
1h 39m 33s main
main
1h 39m 33s
Bump tests/perf/s2n-quic from 08ca4de to ce1da94 (#4599) Cargo Deny #4872: Commit c7f6948 pushed by github-merge-queue Bot
44s main
main
44s