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 #1276: Scheduled
22m 45s main
main
22m 45s
Nightly: Slow tests Nightly: Slow tests #1387: Scheduled
16m 38s main
main
16m 38s
Attempt toolchain update Attempt toolchain update #1360: Scheduled
1m 48s main
main
1m 48s
Scheduled CodeQL #1029: by github-advanced-security AI
19m 29s main
main
19m 29s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Kani CI #12876: Pull request #4618 opened by dependabot Bot
1h 19m 3s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
1h 19m 3s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Release Bundle #6149: Pull request #4618 opened by dependabot Bot
15m 52s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
15m 52s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Check Std Verification #2549: Pull request #4618 opened by dependabot Bot
5m 0s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
5m 0s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Cargo Deny #4900: Pull request #4618 opened by dependabot Bot
49s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
49s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Kani Format Check #12707: Pull request #4618 opened by dependabot Bot
2m 30s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
2m 30s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Kani Extra #5063: Pull request #4618 opened by dependabot Bot
10s
10s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Cargo Deny #4899: Commit c759b47 pushed by dependabot Bot
45s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
45s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Kani CI #12875: Commit c759b47 pushed by dependabot Bot
1h 6m 59s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
1h 6m 59s
Bump tests/perf/s2n-quic from 8986c9f to 33921bd Kani Format Check #12706: Commit c759b47 pushed by dependabot Bot
2m 39s dependabot/submodules/tests/perf/s2n-quic-33921bd
dependabot/submodules/tests/perf/s2n-quic-33921bd
2m 39s
submodules in /. - Update #1439643380 Dependabot Updates #236: by dependabot Bot
39s main
main
39s
github_actions in /. - Update #1439643089 Dependabot Updates #235: by dependabot Bot
41s main
main
41s
Nightly: CBMC Latest Nightly: CBMC Latest #1275: Scheduled
21m 55s main
main
21m 55s
Nightly: Slow tests Nightly: Slow tests #1386: Scheduled
15m 51s main
main
15m 51s
Attempt CBMC update Attempt CBMC update #140: Scheduled
10m 3s main
main
10m 3s
Automatic cargo update to 2026-06-29 Release Bundle #6148: Pull request #4616 opened by github-actions Bot
15m 12s cargo-update-2026-06-29
cargo-update-2026-06-29
15m 12s
Automatic cargo update to 2026-06-29 Kani CI #12874: Pull request #4616 opened by github-actions Bot
50m 58s cargo-update-2026-06-29
cargo-update-2026-06-29
50m 58s
Automatic cargo update to 2026-06-29 Kani Format Check #12705: Pull request #4616 opened by github-actions Bot
1m 49s cargo-update-2026-06-29
cargo-update-2026-06-29
1m 49s
Automatic cargo update to 2026-06-29 Cargo Deny #4898: Pull request #4616 opened by github-actions Bot
53s cargo-update-2026-06-29
cargo-update-2026-06-29
53s
Automatic cargo update to 2026-06-29 Check Std Verification #2548: Pull request #4616 opened by github-actions Bot
7m 35s cargo-update-2026-06-29
cargo-update-2026-06-29
7m 35s
Push on cargo-update-2026-06-29 CodeQL #1028: by github-actions Bot
19m 33s cargo-update-2026-06-29
cargo-update-2026-06-29
19m 33s
PR #4616 CodeQL #1027: by github-actions Bot
18m 57s refs/pull/4616/head
refs/pull/4616/head
18m 57s