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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: CBMC Latest
Nightly: CBMC Latest #1209: Scheduled
21m 10s main
Nightly: Slow tests
Nightly: Slow tests #1320: Scheduled
10m 1s main
Attempt toolchain update
Attempt toolchain update #1293: Scheduled
2m 28s main
Nightly: CBMC Latest
Nightly: CBMC Latest #1208: Scheduled
1h 1m 8s main
Nightly: Slow tests
Nightly: Slow tests #1319: Scheduled
14m 27s main
Attempt toolchain update
Attempt toolchain update #1292: Scheduled
2m 32s main
Support stubbing trait method implementations
Kani Extra #5012: Pull request #4587 synchronize by feliperodri
1h 24m 41s
pages build and deployment
pages-build-deployment #2135: by github-pages Bot
25s gh-pages
25s
Push on gh-pages
CodeQL #968: by github-actions Bot
1m 46s gh-pages
1m 46s
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
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
Push on main
CodeQL #967: by github-merge-queue Bot
18m 18s main
18m 18s