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 #1199: Scheduled
22m 22s main
main
22m 22s
Nightly: Slow tests Nightly: Slow tests #1310: Scheduled
14m 21s main
main
14m 21s
cargo in /tests/cargo-kani/stubbing-validate-random for rand - Update #1322133266 Dependabot Updates #210: by dependabot bot
46s main
main
46s
cargo in /tests/cargo-kani/dependencies for rand - Update #1322123145 Dependabot Updates #209: by dependabot bot
35s main
main
35s
Attempt toolchain update Attempt toolchain update #1283: Scheduled
2m 12s main
main
2m 12s
cargo in /tests/cargo-kani/cbmc-unknown-lang-mode for rand - Update #1322096384 Dependabot Updates #208: by dependabot bot
42s main
main
42s
Scheduled CodeQL #932: by github-advanced-security bot
19m 47s main
main
19m 47s
Automatic cargo update to 2026-04-13 Cargo Deny #4733: Pull request #4575 synchronize by feliperodri
1m 42s cargo-update-2026-04-13
cargo-update-2026-04-13
1m 42s
Automatic cargo update to 2026-04-13 Kani Format Check #12540: Pull request #4575 synchronize by feliperodri
2m 40s cargo-update-2026-04-13
cargo-update-2026-04-13
2m 40s
Automatic cargo update to 2026-04-13 Release Bundle #6012: Pull request #4575 synchronize by feliperodri
18m 30s cargo-update-2026-04-13
cargo-update-2026-04-13
18m 30s
Automatic cargo update to 2026-04-13 Kani Extra #4948: Pull request #4575 synchronize by feliperodri
1h 36m 33s
1h 36m 33s
Automatic cargo update to 2026-04-13 Kani CI #12709: Pull request #4575 synchronize by feliperodri
46m 2s cargo-update-2026-04-13
cargo-update-2026-04-13
46m 2s
Automatic cargo update to 2026-04-13 Check Std Verification #2453: Pull request #4575 synchronize by feliperodri
5m 35s cargo-update-2026-04-13
cargo-update-2026-04-13
5m 35s
Allow licenses for new charon transitive dependencies Cargo Deny #4732: Commit 6266a71 pushed by feliperodri
1m 38s cargo-update-2026-04-13
cargo-update-2026-04-13
1m 38s
Allow licenses for new charon transitive dependencies Kani Format Check #12539: Commit 6266a71 pushed by feliperodri
2m 35s cargo-update-2026-04-13
cargo-update-2026-04-13
2m 35s
Allow licenses for new charon transitive dependencies Kani CI #12708: Commit 6266a71 pushed by feliperodri
1h 7m 3s cargo-update-2026-04-13
cargo-update-2026-04-13
1h 7m 3s
PR #4575 CodeQL #931: by feliperodri
18m 38s refs/pull/4575/head
refs/pull/4575/head
18m 38s
Push on cargo-update-2026-04-13 CodeQL #930: by feliperodri
17m 48s cargo-update-2026-04-13
cargo-update-2026-04-13
17m 48s
Bump actions/github-script from 8 to 9 Kani Extra #4947: Pull request #4576 opened by dependabot bot
13s
13s
Bump actions/github-script from 8 to 9 Cargo Deny #4731: Pull request #4576 opened by dependabot bot
2m 4s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
2m 4s
Bump actions/github-script from 8 to 9 Kani CI #12707: Pull request #4576 opened by dependabot bot
48m 32s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
48m 32s
Bump actions/github-script from 8 to 9 Release Bundle #6011: Pull request #4576 opened by dependabot bot
15m 55s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
15m 55s
Bump actions/github-script from 8 to 9 Check Std Verification #2452: Pull request #4576 opened by dependabot bot
4m 21s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
4m 21s
Bump actions/github-script from 8 to 9 Kani Format Check #12538: Pull request #4576 opened by dependabot bot
2m 42s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
2m 42s
Bump actions/github-script from 8 to 9 Cargo Deny #4730: Commit 79d3c38 pushed by dependabot bot
1m 37s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
1m 37s