Skip to content

Actions: model-checking/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
2,279 workflow runs
2,279 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 assert! and cover! expansions in expression contexts (#4875) Cargo Deny #5924: Commit f43aa6d pushed by github-merge-queue Bot
Queued main
main
Queued
Build and lint the LLBC backend with warnings denied in its CI job Cargo Deny #5923: Pull request #4886 synchronize by tautschnig
Queued feliperodri:llbc-lint-gate
feliperodri:llbc-lint-gate
Queued
Move the Charon pin to current and drop the patch machinery Cargo Deny #5922: Pull request #4883 synchronize by tautschnig
Queued feliperodri:charon-bump
feliperodri:charon-bump
Queued
LLBC: translate wrapping arithmetic as wrapping, and cover what the Charon bump will touch Cargo Deny #5921: Pull request #4881 synchronize by tautschnig
Queued feliperodri:llbc-safety-net
feliperodri:llbc-safety-net
Queued
LLBC: name inherent methods instead of aborting, and deduplicate the name builders Cargo Deny #5920: Pull request #4882 synchronize by tautschnig
Queued feliperodri:llbc-names-refactor
feliperodri:llbc-names-refactor
Queued
Re-enable the std_codegen test Cargo Deny #5919: Pull request #4895 synchronize by tautschnig
1m 55s tautschnig:fix-catch-unwind-and-std-codegen
tautschnig:fix-catch-unwind-and-std-codegen
1m 55s
Add Arbitrary implementation for std::ascii::EscapeDefault (#4782) Cargo Deny #5918: Commit 9ff2722 pushed by github-merge-queue Bot
7m 50s gh-readonly-queue/main/pr-4782-f43aa6df2dbed6863f0ceff7baa48bdb4e500f89
gh-readonly-queue/main/pr-4782-f43aa6df2dbed6863f0ceff7baa48bdb4e500f89
7m 50s
Cargo Deny Cargo Deny #5917: Merge group checks requested
7m 54s
7m 54s
Cargo Deny Cargo Deny #5916: Merge group checks requested
52s
52s
Fix assert! and cover! expansions in expression contexts (#4875) Cargo Deny #5915: Commit f43aa6d pushed by github-merge-queue Bot
1m 3s gh-readonly-queue/main/pr-4875-e47388fd566662202ce194818719c21ef25660ba
gh-readonly-queue/main/pr-4875-e47388fd566662202ce194818719c21ef25660ba
1m 3s
Fix stale signature assertion for the catch_unwind intrinsic (#4819) Cargo Deny #5914: Commit e47388f pushed by github-merge-queue Bot
51s main
main
51s
Autoharness: support &Wtf8 arguments under --bounded-arguments Cargo Deny #5913: Pull request #4809 synchronize by tautschnig
Action required srivatsansamraj:wtf8-bounded-ref
srivatsansamraj:wtf8-bounded-ref
Action required
Report the failure exit code under --quiet Cargo Deny #5912: Pull request #4771 synchronize by tautschnig
Action required ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
Action required
Fix assert! and cover! expansions in expression contexts Cargo Deny #5911: Pull request #4875 synchronize by tautschnig
1m 4s trevordcampbell:fix-assert-expression-contexts
trevordcampbell:fix-assert-expression-contexts
1m 4s
Fix stale signature assertion for the catch_unwind intrinsic (#4819) Cargo Deny #5910: Commit e47388f pushed by github-merge-queue Bot
1m 13s gh-readonly-queue/main/pr-4819-c35cb962263e954554f3476ebe58dc5fc375fb78
gh-readonly-queue/main/pr-4819-c35cb962263e954554f3476ebe58dc5fc375fb78
1m 13s
Cargo Deny Cargo Deny #5909: Merge group checks requested
46s
46s
Update toolchain to nightly-2026-09-24 (#4870) Cargo Deny #5908: Commit c35cb96 pushed by github-merge-queue Bot
49s main
main
49s
Update toolchain to nightly-2026-09-24 (#4870) Cargo Deny #5907: Commit c35cb96 pushed by github-merge-queue Bot
58s gh-readonly-queue/main/pr-4870-4bfc2470e367bff1f4bcaadcf311d1bab39ed7bc
gh-readonly-queue/main/pr-4870-4bfc2470e367bff1f4bcaadcf311d1bab39ed7bc
58s
Cargo Deny Cargo Deny #5906: Merge group checks requested
48s
48s
Recover from an interrupted Kani bundle download (#4873) Cargo Deny #5905: Commit 4bfc247 pushed by github-merge-queue Bot
1m 6s gh-readonly-queue/main/pr-4873-f314aefb8ed0369c838c474924fc1937afea40b2
gh-readonly-queue/main/pr-4873-f314aefb8ed0369c838c474924fc1937afea40b2
1m 6s
Cargo Deny Cargo Deny #5904: Merge group checks requested
1m 20s
1m 20s
Strip the crate prefix from scanner names to match kani list Cargo Deny #5903: Pull request #4903 opened by Tianshu-Huang
48s Tianshu-Huang:fix-4868-scanner-crate-prefix
Tianshu-Huang:fix-4868-scanner-crate-prefix
48s
Add Arbitrary implementation for std::ascii::EscapeDefault Cargo Deny #5902: Pull request #4782 synchronize by acearyanarun
48s acearyanarun:arbitrary-ascii-escape-default
acearyanarun:arbitrary-ascii-escape-default
48s
Fix ICE on pattern types over wide pointers under -Z valid-value-checks Cargo Deny #5901: Pull request #4856 synchronize by Tianshu-Huang
Action required Tianshu-Huang:fix-4829-fat-pointer-pattern
Tianshu-Huang:fix-4829-fat-pointer-pattern
Action required
Fix assert! and cover! expansions in expression contexts Cargo Deny #5900: Pull request #4875 synchronize by trevordcampbell
24m 51s trevordcampbell:fix-assert-expression-contexts
trevordcampbell:fix-assert-expression-contexts
24m 51s