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
Push on gh-pages CodeQL #1285: by github-actions Bot
1m 56s gh-pages
gh-pages
1m 56s
pages build and deployment pages-build-deployment #2208: by github-pages Bot
29s gh-pages
gh-pages
29s
Force-load the kani crate so no_std crates work out of the box (#4682) Cargo Deny #5343: Commit 21ad7cf pushed by github-merge-queue Bot
51s main
main
51s
Force-load the kani crate so no_std crates work out of the box (#4682) Release Bundle #6508: Commit 21ad7cf pushed by github-merge-queue Bot
16m 15s main
main
16m 15s
Force-load the kani crate so no_std crates work out of the box (#4682) Kani CI #13319: Commit 21ad7cf pushed by github-merge-queue Bot
In progress main
main
In progress
Force-load the kani crate so no_std crates work out of the box (#4682) Kani End-To-End Performance Benchmarks #369: Commit 21ad7cf pushed by github-merge-queue Bot
In progress main
main
In progress
Force-load the kani crate so no_std crates work out of the box (#4682) Kani Compiler Performance Benchmarks #369: Commit 21ad7cf pushed by github-merge-queue Bot
In progress main
main
In progress
Force-load the kani crate so no_std crates work out of the box (#4682) Kani Format Check #13150: Commit 21ad7cf pushed by github-merge-queue Bot
2m 44s main
main
2m 44s
Push on main CodeQL #1284: by github-merge-queue Bot
5m 10s main
main
5m 10s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani Benchmarks #170: Pull request #4671 synchronize by feliperodri
In progress tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
In progress
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Cargo Deny #5342: Pull request #4671 synchronize by feliperodri
1m 10s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
1m 10s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Check Std Verification #2768: Pull request #4671 synchronize by feliperodri
7m 41s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
7m 41s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani CI #13318: Pull request #4671 synchronize by feliperodri
In progress tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
In progress
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Release Bundle #6507: Pull request #4671 synchronize by feliperodri
15m 48s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
15m 48s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani Format Check #13149: Pull request #4671 synchronize by feliperodri
2m 50s tautschnig:fix-offset-model-wrap
tautschnig:fix-offset-model-wrap
2m 50s
Fix OffsetModel missing UB for offsets wrapping CBMC's pointer encoding Kani Extra #5341: Pull request #4671 synchronize by feliperodri
14s
14s
Push on gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0 CodeQL #1283: by github-merge-queue Bot
4m 53s gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
4m 53s
Kani Format Check Kani Format Check #13148: Merge group checks requested
2m 38s
2m 38s
Kani CI Kani CI #13317: Merge group checks requested
1h 3m 10s
1h 3m 10s
Release Bundle Release Bundle #6506: Merge group checks requested
16m 16s
16m 16s
Kani Extra Kani Extra #5340: Merge group checks requested
11s
11s
Cargo Deny Cargo Deny #5341: Merge group checks requested
54s
54s
Force-load the kani crate so no_std crates work out of the box (#4682) Kani CI #13316: Commit 21ad7cf pushed by github-merge-queue Bot
In progress gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
In progress
Force-load the kani crate so no_std crates work out of the box (#4682) Cargo Deny #5340: Commit 21ad7cf pushed by github-merge-queue Bot
52s gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
52s
Force-load the kani crate so no_std crates work out of the box (#4682) Kani Format Check #13147: Commit 21ad7cf pushed by github-merge-queue Bot
2m 45s gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
gh-readonly-queue/main/pr-4682-b01bb446401109213d0ee461eb012f56baba81c0
2m 45s