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-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c CodeQL #1381: by github-merge-queue Bot
5m 28s gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
5m 28s
Check that fast math intrinsic results are finite (#4730) Kani Format Check #13325: Commit 61ac6c8 pushed by github-merge-queue Bot
3m 29s gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
3m 29s
Check that fast math intrinsic results are finite (#4730) Kani CI #13494: Commit 61ac6c8 pushed by github-merge-queue Bot
In progress gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
In progress
Check that fast math intrinsic results are finite (#4730) Cargo Deny #5518: Commit 61ac6c8 pushed by github-merge-queue Bot
56s gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
gh-readonly-queue/main/pr-4730-dceb84f8844f404422b2ad0ba90863dc10ff272c
56s
Release Bundle Release Bundle #6643: Merge group checks requested
Queued
Queued
Kani CI Kani CI #13493: Merge group checks requested
In progress
In progress
Cargo Deny Cargo Deny #5517: Merge group checks requested
1m 22s
1m 22s
Kani Extra Kani Extra #5451: Merge group checks requested
34s
34s
Kani Format Check Kani Format Check #13324: Merge group checks requested
2m 58s
2m 58s
Run the CBMC-latest perf suite serially to stop runner OOMs (#4742) Cargo Deny #5516: Commit dceb84f pushed by github-merge-queue Bot
1m 7s gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
1m 7s
Run the CBMC-latest perf suite serially to stop runner OOMs (#4742) Kani CI #13492: Commit dceb84f pushed by github-merge-queue Bot
In progress gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
In progress
Run the CBMC-latest perf suite serially to stop runner OOMs (#4742) Kani Format Check #13323: Commit dceb84f pushed by github-merge-queue Bot
3m 17s gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
3m 17s
Push on gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377 CodeQL #1380: by github-merge-queue Bot
5m 37s gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
gh-readonly-queue/main/pr-4742-6ddbcabe4454413a905c9d2d378c34583a4ed377
5m 37s
Kani Extra Kani Extra #5450: Merge group checks requested
17s
17s
Kani CI Kani CI #13491: Merge group checks requested
In progress
In progress
Cargo Deny Cargo Deny #5515: Merge group checks requested
1m 23s
1m 23s
Kani Format Check Kani Format Check #13322: Merge group checks requested
3m 39s
3m 39s
Release Bundle Release Bundle #6642: Merge group checks requested
20m 17s
20m 17s
Push on gh-readonly-queue/main/pr-4734-7b21dc167b3f62b72705aac83b9cd0f3fbdef280 CodeQL #1379: by github-merge-queue Bot
5m 38s gh-readonly-queue/main/pr-4734-7b21dc167b3f62b72705aac83b9cd0f3fbdef280
gh-readonly-queue/main/pr-4734-7b21dc167b3f62b72705aac83b9cd0f3fbdef280
5m 38s
Kani Format Check Kani Format Check #13321: Merge group checks requested
4m 13s
4m 13s
Kani Extra Kani Extra #5449: Merge group checks requested
1m 12s
1m 12s
Cargo Deny Cargo Deny #5514: Merge group checks requested
1m 48s
1m 48s
Release Bundle Release Bundle #6641: Merge group checks requested
18m 10s
18m 10s
Kani CI Kani CI #13490: Merge group checks requested
In progress
In progress
Upgrade Rust toolchain to nightly-2026-04-01 (#4734) Cargo Deny #5513: Commit 6ddbcab pushed by github-merge-queue Bot
1m 49s gh-readonly-queue/main/pr-4734-7b21dc167b3f62b72705aac83b9cd0f3fbdef280
gh-readonly-queue/main/pr-4734-7b21dc167b3f62b72705aac83b9cd0f3fbdef280
1m 49s