Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,201 workflow run results
5,201 workflow run results

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 #1029: Scheduled
2h 56m 12s main
main
2h 56m 12s
Nightly: Slow tests Nightly: Slow tests #1140: Scheduled
1h 35m 53s main
main
1h 35m 53s
Attempt toolchain update Attempt toolchain update #1103: Scheduled
5m 56s main
main
5m 56s
Nightly: CBMC Latest Nightly: CBMC Latest #1028: Scheduled
2h 27m 48s main
main
2h 27m 48s
Nightly: Slow tests Nightly: Slow tests #1139: Scheduled
1h 1m 19s main
main
1h 1m 19s
fix: Make kani attribute nameres work with generic args having :: Cargo Deny #4150: Pull request #4427 opened by ShoyuVanilla
1m 51s ShoyuVanilla:segmented-param-res
ShoyuVanilla:segmented-param-res
1m 51s
fix: Make kani attribute nameres work with generic args having :: Check Std Verification #2225: Pull request #4427 opened by ShoyuVanilla
5m 13s ShoyuVanilla:segmented-param-res
ShoyuVanilla:segmented-param-res
5m 13s
fix: Make kani attribute nameres work with generic args having :: Kani CI #12126: Pull request #4427 opened by ShoyuVanilla
1h 45m 45s ShoyuVanilla:segmented-param-res
ShoyuVanilla:segmented-param-res
1h 45m 45s
fix: Make kani attribute nameres work with generic args having :: Kani Format Check #11957: Pull request #4427 opened by ShoyuVanilla
4m 38s ShoyuVanilla:segmented-param-res
ShoyuVanilla:segmented-param-res
4m 38s
fix: Make kani attribute nameres work with generic args having :: Release Bundle #5574: Pull request #4427 opened by ShoyuVanilla
1h 4m 0s ShoyuVanilla:segmented-param-res
ShoyuVanilla:segmented-param-res
1h 4m 0s
fix: Make kani attribute nameres work with generic args having :: Kani Extra #4607: Pull request #4427 opened by ShoyuVanilla
1h 27m 35s
1h 27m 35s
Attempt toolchain update Attempt toolchain update #1102: Scheduled
17m 9s main
main
17m 9s
Upgrade Rust toolchain to 2025-10-24 Kani Extra #4606: Pull request #4426 opened by tautschnig
1h 29m 46s
1h 29m 46s
Upgrade Rust toolchain to 2025-10-24 Check Std Verification #2224: Pull request #4426 opened by tautschnig
12m 52s tautschnig:toolchain-2025-10-24-manual
tautschnig:toolchain-2025-10-24-manual
12m 52s
Upgrade Rust toolchain to 2025-10-24 Kani CI #12125: Pull request #4426 opened by tautschnig
6h 0m 43s tautschnig:toolchain-2025-10-24-manual
tautschnig:toolchain-2025-10-24-manual
6h 0m 43s
Upgrade Rust toolchain to 2025-10-24 Kani Format Check #11956: Pull request #4426 opened by tautschnig
4m 25s tautschnig:toolchain-2025-10-24-manual
tautschnig:toolchain-2025-10-24-manual
4m 25s
Upgrade Rust toolchain to 2025-10-24 Release Bundle #5573: Pull request #4426 opened by tautschnig
1h 14m 31s tautschnig:toolchain-2025-10-24-manual
tautschnig:toolchain-2025-10-24-manual
1h 14m 31s
Upgrade Rust toolchain to 2025-10-24 Cargo Deny #4149: Pull request #4426 opened by tautschnig
1m 54s tautschnig:toolchain-2025-10-24-manual
tautschnig:toolchain-2025-10-24-manual
1m 54s
Nightly: CBMC Latest Nightly: CBMC Latest #1027: Scheduled
2h 0m 3s main
main
2h 0m 3s
Nightly: Slow tests Nightly: Slow tests #1138: Scheduled
1h 3m 50s main
main
1h 3m 50s
Attempt toolchain update Attempt toolchain update #1101: Scheduled
4m 36s main
main
4m 36s
Push on gh-pages CodeQL #481: by github-actions Bot
2m 59s gh-pages
gh-pages
2m 59s
pages build and deployment pages-build-deployment #2026: by github-pages Bot
39s gh-pages
gh-pages
39s
Automatic toolchain upgrade to nightly-2025-10-23 (#4424) Kani End-To-End Performance Benchmarks #187: Commit e0316ff pushed by github-merge-queue Bot
1h 26m 29s main
main
1h 26m 29s
Automatic toolchain upgrade to nightly-2025-10-23 (#4424) Cargo Deny #4148: Commit e0316ff pushed by github-merge-queue Bot
1m 45s main
main
1m 45s