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
Attempt toolchain update Attempt toolchain update #1286: Scheduled
2m 18s main
main
2m 18s
Nightly: CBMC Latest Nightly: CBMC Latest #1201: Scheduled
21m 56s main
main
21m 56s
Nightly: Slow tests Nightly: Slow tests #1312: Scheduled
21m 52s main
main
21m 52s
Attempt toolchain update Attempt toolchain update #1285: Scheduled
1m 37s main
main
1m 37s
Push on gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20 CodeQL #933: by github-merge-queue bot
32m 38s gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
32m 38s
Kani CI Kani CI #12711: Merge group checks requested
1h 0m 49s
1h 0m 49s
Kani Extra Kani Extra #4949: Merge group checks requested
14m 35s
14m 35s
Kani Format Check Kani Format Check #12542: Merge group checks requested
14m 35s
14m 35s
Add pure expression inliner infrastructure for quantifier bodies (#4567) Kani CI #12710: Commit c5c1891 pushed by github-merge-queue bot
1h 15m 7s gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
1h 15m 7s
Cargo Deny Cargo Deny #4735: Merge group checks requested
16m 12s
16m 12s
Release Bundle Release Bundle #6013: Merge group checks requested
17m 22s
17m 22s
Add pure expression inliner infrastructure for quantifier bodies (#4567) Cargo Deny #4734: Commit c5c1891 pushed by github-merge-queue bot
16m 27s gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
16m 27s
Add pure expression inliner infrastructure for quantifier bodies (#4567) Kani Format Check #12541: Commit c5c1891 pushed by github-merge-queue bot
14m 35s gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
gh-readonly-queue/main/pr-4567-bc27348476839097611ea4af25e2af06be8dce20
14m 35s
Nightly: CBMC Latest Nightly: CBMC Latest #1200: Scheduled
1h 4m 8s main
main
1h 4m 8s
Nightly: Slow tests Nightly: Slow tests #1311: Scheduled
16m 1s main
main
16m 1s
Attempt toolchain update Attempt toolchain update #1284: Scheduled
4m 24s main
main
4m 24s
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 AI
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