Workflow runs · model-checking/kani · GitHub

Actions

All workflows
Workflows
- Attempt cargo update Attempt cargo update
- Attempt CBMC update Attempt CBMC update
- Attempt toolchain update Attempt toolchain update
- Cargo Audit Cargo Audit
- Cargo Deny Cargo Deny
- Check Std Verification Check Std Verification
- CodeQL CodeQL
- Copilot code review Copilot code review
- Dependabot Updates Dependabot Updates
- Kani CI Kani CI
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,500+ workflow runs

2,500+ workflow runs

Push on cargo-update-2026-04-20 CodeQL #951: by github-actions bot

18m 3s cargo-update-2026-04-20

cargo-update-2026-04-20

18m 3s

PR #4581 CodeQL #950: by github-actions bot

18m 24s refs/pull/4581/head

refs/pull/4581/head

18m 24s

Attempt cargo update Attempt cargo update #126: Scheduled

4m 19s main

main

4m 19s

Attempt toolchain update Attempt toolchain update #1289: Scheduled

2m 25s main

main

2m 25s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani Format Check #12586: Pull request #4571 synchronize by feliperodri

2m 42s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

2m 42s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Check Std Verification #2483: Pull request #4571 synchronize by feliperodri

5m 15s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

5m 15s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Cargo Deny #4779: Pull request #4571 synchronize by feliperodri

45s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

45s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani CI #12755: Pull request #4571 synchronize by feliperodri

22m 54s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

22m 54s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Release Bundle #6051: Pull request #4571 synchronize by feliperodri

15m 36s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

15m 36s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani Extra #4983: Pull request #4571 synchronize by feliperodri

1h 0m 11s

1h 0m 11s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani CI #12754: Pull request #4571 synchronize by feliperodri

11m 59s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

11m 59s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Release Bundle #6050: Pull request #4571 synchronize by feliperodri

15m 37s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

15m 37s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani Format Check #12585: Pull request #4571 synchronize by feliperodri

2m 45s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

2m 45s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Cargo Deny #4778: Pull request #4571 synchronize by feliperodri

43s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

43s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Check Std Verification #2482: Pull request #4571 synchronize by feliperodri

5m 59s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

5m 59s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani Extra #4982: Pull request #4571 synchronize by feliperodri

52m 23s

52m 23s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Cargo Deny #4777: Pull request #4571 synchronize by feliperodri

43s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

43s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani Format Check #12584: Pull request #4571 synchronize by feliperodri

2m 46s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

2m 46s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani CI #12753: Pull request #4571 synchronize by feliperodri

13m 1s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

13m 1s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Check Std Verification #2481: Pull request #4571 synchronize by feliperodri

5m 36s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

5m 36s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Release Bundle #6049: Pull request #4571 synchronize by feliperodri

18m 29s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

18m 29s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani Extra #4981: Pull request #4571 synchronize by feliperodri

1h 0m 59s

1h 0m 59s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Cargo Deny #4776: Pull request #4571 synchronize by feliperodri

45s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

45s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Release Bundle #6048: Pull request #4571 synchronize by feliperodri

18m 16s feliperodri:fix-stub-verified-arbitrary

feliperodri:fix-stub-verified-arbitrary

18m 16s

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function Kani Extra #4980: Pull request #4571 synchronize by feliperodri

57m 41s

57m 41s