Skip to content

Actions: model-checking/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
3,229 workflow runs
3,229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump tests/perf/s2n-quic from 271292f to 296b644 (#4554) Cargo Deny #4602: Commit 0db36c3 pushed by github-merge-queue bot
1m 35s main
main
1m 35s
Bump tests/perf/s2n-quic from 271292f to 296b644 (#4554) Cargo Deny #4601: Commit 0db36c3 pushed by github-merge-queue bot
1m 55s gh-readonly-queue/main/pr-4554-f557d727f27a10e75718fc1fc8bce7f6db31c146
gh-readonly-queue/main/pr-4554-f557d727f27a10e75718fc1fc8bce7f6db31c146
1m 55s
Cargo Deny Cargo Deny #4600: Merge group checks requested
1m 50s
1m 50s
Bump tests/perf/s2n-quic from 271292f to 296b644 Cargo Deny #4599: Commit 98991fb pushed by dependabot bot
1m 51s dependabot/submodules/tests/perf/s2n-quic-296b644
dependabot/submodules/tests/perf/s2n-quic-296b644
1m 51s
Bump tests/perf/s2n-quic from 271292f to 296b644 Cargo Deny #4598: Pull request #4554 opened by dependabot bot
1m 54s dependabot/submodules/tests/perf/s2n-quic-296b644
dependabot/submodules/tests/perf/s2n-quic-296b644
1m 54s
Automatic cargo update to 2026-02-23 (#4553) Cargo Deny #4597: Commit f557d72 pushed by github-merge-queue bot
1m 41s main
main
1m 41s
Cargo Deny Cargo Deny #4596: Merge group checks requested
1m 49s
1m 49s
Automatic cargo update to 2026-02-23 (#4553) Cargo Deny #4595: Commit f557d72 pushed by github-merge-queue bot
2m 25s gh-readonly-queue/main/pr-4553-c46428d140e3c0b1aa788e71ec71ba49802c0ce4
gh-readonly-queue/main/pr-4553-c46428d140e3c0b1aa788e71ec71ba49802c0ce4
2m 25s
Automatic cargo update to 2026-02-23 Cargo Deny #4594: Pull request #4553 reopened by tautschnig
2m 14s cargo-update-2026-02-23
cargo-update-2026-02-23
2m 14s
Add Strata backend for Kani Cargo Deny #4593: Pull request #4552 synchronize by rahulku
1m 54s rahulku:strata-backend
rahulku:strata-backend
1m 54s
Add Strata backend for Kani Cargo Deny #4592: Pull request #4552 synchronize by rahulku
1m 58s rahulku:strata-backend
rahulku:strata-backend
1m 58s
Add Strata backend for Kani Cargo Deny #4591: Pull request #4552 opened by rahulku
1m 55s rahulku:strata-backend
rahulku:strata-backend
1m 55s
feat: solana AccountInfo generators for proofs Cargo Deny #4590: Pull request #4551 synchronize by kamiyo-ai
Action required kamiyo-ai:kamiyo/kani-solana-agent-primitives
kamiyo-ai:kamiyo/kani-solana-agent-primitives
Action required
feat: solana AccountInfo generators for proofs Cargo Deny #4589: Pull request #4551 opened by kamiyo-ai
Action required kamiyo-ai:kamiyo/kani-solana-agent-primitives
kamiyo-ai:kamiyo/kani-solana-agent-primitives
Action required
Bump tests/perf/s2n-quic from db83c40 to 271292f (#4548) Cargo Deny #4588: Commit c46428d pushed by github-merge-queue bot
1m 51s main
main
1m 51s
tests(cargo-kani): add solana agent escrow example Cargo Deny #4587: Pull request #4549 opened by kamiyo-ai
Action required kamiyo-ai:kamiyo/kani-agentic-program-verification-primitives
kamiyo-ai:kamiyo/kani-agentic-program-verification-primitives
Action required
Bump tests/perf/s2n-quic from db83c40 to 271292f (#4548) Cargo Deny #4586: Commit c46428d pushed by github-merge-queue bot
1m 41s gh-readonly-queue/main/pr-4548-a431aaa3106d58501a55bc5bae8fd3fedd8d39e2
gh-readonly-queue/main/pr-4548-a431aaa3106d58501a55bc5bae8fd3fedd8d39e2
1m 41s
Cargo Deny Cargo Deny #4585: Merge group checks requested
2m 11s
2m 11s
Bump tests/perf/s2n-quic from db83c40 to 271292f Cargo Deny #4584: Pull request #4548 opened by dependabot bot
1m 58s dependabot/submodules/tests/perf/s2n-quic-271292f
dependabot/submodules/tests/perf/s2n-quic-271292f
1m 58s
Bump tests/perf/s2n-quic from db83c40 to 271292f Cargo Deny #4583: Commit 11c5d5d pushed by dependabot bot
1m 39s dependabot/submodules/tests/perf/s2n-quic-271292f
dependabot/submodules/tests/perf/s2n-quic-271292f
1m 39s
Emit SARIF output for Code Scanning (#4547) Cargo Deny #4582: Commit a431aaa pushed by github-merge-queue bot
1m 33s main
main
1m 33s
Cargo Deny Cargo Deny #4581: Merge group checks requested
1m 45s
1m 45s
Emit SARIF output for Code Scanning (#4547) Cargo Deny #4580: Commit a431aaa pushed by github-merge-queue bot
1m 39s gh-readonly-queue/main/pr-4547-91c6843caf8b755ee359c61c07265bb025ecfb60
gh-readonly-queue/main/pr-4547-91c6843caf8b755ee359c61c07265bb025ecfb60
1m 39s
Fix workspace feature handling to filter features per-package Cargo Deny #4579: Pull request #4545 synchronize by tautschnig
1m 59s tautschnig:fix-4544
tautschnig:fix-4544
1m 59s
Automatic cargo update to 2026-02-16 Cargo Deny #4578: Pull request #4546 reopened by tautschnig
1m 57s cargo-update-2026-02-16
cargo-update-2026-02-16
1m 57s