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 #1209: Scheduled
21m 10s main
main
21m 10s
Nightly: Slow tests Nightly: Slow tests #1320: Scheduled
10m 1s main
main
10m 1s
Attempt toolchain update Attempt toolchain update #1293: Scheduled
2m 28s main
main
2m 28s
Nightly: CBMC Latest Nightly: CBMC Latest #1208: Scheduled
1h 1m 8s main
main
1h 1m 8s
Nightly: Slow tests Nightly: Slow tests #1319: Scheduled
14m 27s main
main
14m 27s
Attempt toolchain update Attempt toolchain update #1292: Scheduled
2m 32s main
main
2m 32s
Support stubbing trait method implementations Kani Format Check #12626: Pull request #4587 synchronize by feliperodri
2m 42s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
2m 42s
Support stubbing trait method implementations Cargo Deny #4819: Pull request #4587 synchronize by feliperodri
52s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
52s
Support stubbing trait method implementations Kani CI #12795: Pull request #4587 synchronize by feliperodri
1h 8m 8s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
1h 8m 8s
Support stubbing trait method implementations Release Bundle #6085: Pull request #4587 synchronize by feliperodri
16m 37s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
16m 37s
Support stubbing trait method implementations Check Std Verification #2506: Pull request #4587 synchronize by feliperodri
5m 56s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
5m 56s
Support stubbing trait method implementations Kani Extra #5012: Pull request #4587 synchronize by feliperodri
1h 24m 41s
1h 24m 41s
pages build and deployment pages-build-deployment #2135: by github-pages Bot
25s gh-pages
gh-pages
25s
Push on gh-pages CodeQL #968: by github-actions Bot
1m 46s gh-pages
gh-pages
1m 46s
Add #[kani::loop_decreases] for proving loop termination (#4564) Cargo Deny #4818: Commit 78eb465 pushed by github-merge-queue Bot
44s main
main
44s
Add #[kani::loop_decreases] for proving loop termination (#4564) Release Bundle #6084: Commit 78eb465 pushed by github-merge-queue Bot
16m 12s main
main
16m 12s
Add #[kani::loop_decreases] for proving loop termination (#4564) Kani Compiler Performance Benchmarks #296: Commit 78eb465 pushed by github-merge-queue Bot
41m 15s main
main
41m 15s
Add #[kani::loop_decreases] for proving loop termination (#4564) Kani Format Check #12625: Commit 78eb465 pushed by github-merge-queue Bot
2m 55s main
main
2m 55s
Add #[kani::loop_decreases] for proving loop termination (#4564) Kani CI #12794: Commit 78eb465 pushed by github-merge-queue Bot
46m 16s main
main
46m 16s
Add #[kani::loop_decreases] for proving loop termination (#4564) Kani End-To-End Performance Benchmarks #296: Commit 78eb465 pushed by github-merge-queue Bot
1h 27m 54s main
main
1h 27m 54s
Push on main CodeQL #967: by github-merge-queue Bot
18m 18s main
main
18m 18s
Support stubbing trait method implementations Kani CI #12793: Pull request #4587 synchronize by feliperodri
45m 45s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
45m 45s
Support stubbing trait method implementations Check Std Verification #2505: Pull request #4587 synchronize by feliperodri
5m 35s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
5m 35s
Support stubbing trait method implementations Cargo Deny #4817: Pull request #4587 synchronize by feliperodri
48s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
48s
Support stubbing trait method implementations Release Bundle #6083: Pull request #4587 synchronize by feliperodri
15m 45s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
15m 45s