Skip to content

Actions: model-checking/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
2,500+ workflow runs
2,500+ workflow runs

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
Fix floating-point remainder soundness and add soundness documentatio… Cargo Deny #4843: Commit 86273d7 pushed by github-merge-queue Bot
44s main
main
44s
Cargo Deny Cargo Deny #4842: Merge group checks requested
46s
46s
Fix floating-point remainder soundness and add soundness documentatio… Cargo Deny #4841: Commit 86273d7 pushed by github-merge-queue Bot
45s gh-readonly-queue/main/pr-4570-7253becc050d701218144d9dd50cdfb387514230
gh-readonly-queue/main/pr-4570-7253becc050d701218144d9dd50cdfb387514230
45s
Fix floating-point remainder soundness and add soundness documentation Cargo Deny #4840: Pull request #4570 synchronize by feliperodri
53s feliperodri:fix-soundness-issues
feliperodri:fix-soundness-issues
53s
Fix floating-point remainder soundness and add soundness documentation Cargo Deny #4839: Pull request #4570 synchronize by feliperodri
1m 3s feliperodri:fix-soundness-issues
feliperodri:fix-soundness-issues
1m 3s
Implement stub sets for reusable stub groups Cargo Deny #4838: Pull request #4594 synchronize by feliperodri
55s feliperodri:stub-sets
feliperodri:stub-sets
55s
Implement stub sets for reusable stub groups Cargo Deny #4837: Pull request #4594 synchronize by feliperodri
58s feliperodri:stub-sets
feliperodri:stub-sets
58s
Implement stub sets for reusable stub groups Cargo Deny #4836: Pull request #4594 synchronize by feliperodri
1m 23s feliperodri:stub-sets
feliperodri:stub-sets
1m 23s
Automatic cargo update to 2026-04-27 (#4592) Cargo Deny #4835: Commit b3414a5 pushed by github-merge-queue Bot
16m 52s gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
16m 52s
Cargo Deny Cargo Deny #4834: Merge group checks requested
49s
49s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Cargo Deny #4833: Commit 7253bec pushed by github-merge-queue Bot
46s main
main
46s
Implement stub sets for reusable stub groups Cargo Deny #4832: Pull request #4594 synchronize by feliperodri
50s feliperodri:stub-sets
feliperodri:stub-sets
50s
Implement stub sets for reusable stub groups Cargo Deny #4831: Pull request #4594 synchronize by feliperodri
56s feliperodri:stub-sets
feliperodri:stub-sets
56s
Implement stub sets for reusable stub groups Cargo Deny #4830: Pull request #4594 opened by feliperodri
1m 0s feliperodri:stub-sets
feliperodri:stub-sets
1m 0s
Add a unified codegen cache Cargo Deny #4829: Pull request #4313 synchronize by feliperodri
1m 4s AlexanderPortland:final-cache
AlexanderPortland:final-cache
1m 4s
Automatic cargo update to 2026-04-27 Cargo Deny #4828: Pull request #4592 reopened by feliperodri
54s cargo-update-2026-04-27
cargo-update-2026-04-27
54s
Cargo Deny Cargo Deny #4827: Merge group checks requested
56s
56s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Cargo Deny #4826: Commit 7253bec pushed by github-merge-queue Bot
50s gh-readonly-queue/main/pr-4593-6fa44670653c2bfa93f1434e4018f9184e049547
gh-readonly-queue/main/pr-4593-6fa44670653c2bfa93f1434e4018f9184e049547
50s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de Cargo Deny #4825: Pull request #4593 opened by dependabot Bot
1m 17s dependabot/submodules/tests/perf/s2n-quic-08ca4de
dependabot/submodules/tests/perf/s2n-quic-08ca4de
1m 17s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de Cargo Deny #4824: Commit a21a67c pushed by dependabot Bot
1m 45s dependabot/submodules/tests/perf/s2n-quic-08ca4de
dependabot/submodules/tests/perf/s2n-quic-08ca4de
1m 45s
Support stubbing trait method implementations (#4587) Cargo Deny #4823: Commit 6fa4467 pushed by github-merge-queue Bot
53s main
main
53s
Cargo Deny Cargo Deny #4822: Merge group checks requested
54s
54s
Support stubbing trait method implementations (#4587) Cargo Deny #4821: Commit 6fa4467 pushed by github-merge-queue Bot
52s gh-readonly-queue/main/pr-4587-78eb4658b0f39ef0cbb88b4918c6e9c3c030ef5e
gh-readonly-queue/main/pr-4587-78eb4658b0f39ef0cbb88b4918c6e9c3c030ef5e
52s
Support stubbing trait method implementations Cargo Deny #4820: Pull request #4587 synchronize by feliperodri
49s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
49s
Support stubbing trait method implementations Cargo Deny #4819: Pull request #4587 synchronize by feliperodri
52s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
52s