Skip to content

Actions: tautschnig/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add check_mylib_add harness verification to workspace_features test Cargo Deny #275: Commit 8ea8437 pushed by tautschnig
3m 15s fix-4544
fix-4544
3m 15s
Fix workspace feature handling to filter features per-package Cargo Deny #274: Commit e9b6e3a pushed by tautschnig
2m 0s fix-4544
fix-4544
2m 0s
Apply suggestion from @Copilot Cargo Deny #273: Commit 1820fb8 pushed by tautschnig
1m 51s agents.md
agents.md
1m 51s
Update AGENTS.md Cargo Deny #272: Commit d45577c pushed by tautschnig
2m 10s agents.md
agents.md
2m 10s
Create AGENTS.md to guide AI coding assistants Cargo Deny #271: Commit c0abacc pushed by tautschnig
2m 25s agents.md
agents.md
2m 25s
Fix comment Cargo Deny #270: Commit 29168a9 pushed by tautschnig
13m 3s fix-saturating-cast
fix-saturating-cast
13m 3s
Update tests/expected/smt-solver-error-status/expected Cargo Deny #269: Commit f9d590e pushed by tautschnig
2m 24s smt-solver-error
smt-solver-error
2m 24s
Fix atomic compare_exchange to return correct failure status Cargo Deny #268: Commit 5ca135e pushed by tautschnig
1m 39s fix-compare_exchange
fix-compare_exchange
1m 39s
Fix float-to-int saturating cast bug Cargo Deny #267: Commit b45a315 pushed by tautschnig
2m 54s fix-saturating-cast
fix-saturating-cast
2m 54s
Fix CBMC output parser panic when using SMT solvers Cargo Deny #266: Commit d556fe7 pushed by tautschnig
1m 40s smt-solver-error
smt-solver-error
1m 40s
Fix incorrect kani::index example in loop-contracts documentation Cargo Deny #265: Commit 494b804 pushed by tautschnig
1m 39s loop-contracts-example
loop-contracts-example
1m 39s
Merge remote-tracking branch 'origin/main' into progress-bar Cargo Deny #264: Commit 208ff46 pushed by tautschnig
1m 58s progress-bar
progress-bar
1m 58s
Merge remote-tracking branch 'origin/main' into progress-bar Cargo Deny #263: Commit a4d5962 pushed by tautschnig
4m 38s progress-bar
progress-bar
4m 38s
fmt Cargo Deny #262: Commit 6ac6f32 pushed by tautschnig
1m 38s progress-bar
progress-bar
1m 38s
No need for multi_progress Cargo Deny #261: Commit 7ecb88f pushed by tautschnig
2m 8s progress-bar
progress-bar
2m 8s
Update kani-driver/src/progress_indicator.rs Cargo Deny #260: Commit 2931d7c pushed by tautschnig
1m 56s progress-bar
progress-bar
1m 56s
Update kani-driver/src/harness_runner.rs Cargo Deny #259: Commit 1e7b13d pushed by tautschnig
1m 40s progress-bar
progress-bar
1m 40s
Clippy fix Cargo Deny #258: Commit 1dfbba9 pushed by tautschnig
1m 44s progress-bar
progress-bar
1m 44s
Add progress indicator and log file output for concise terminal output Cargo Deny #257: Commit e8efb27 pushed by tautschnig
1m 46s progress-bar
progress-bar
1m 46s
Fix expected file Cargo Deny #256: Commit 654e1ee pushed by zhassan-aws
2m 4s fix-2264-simd_as
fix-2264-simd_as
2m 4s
Clippy Cargo Deny #255: Commit 230eacd pushed by zhassan-aws
2m 2s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
2m 2s
Switch to thread local Cargo Deny #254: Commit 6774224 pushed by zhassan-aws
1m 40s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
1m 40s
Switch to thread local Cargo Deny #253: Commit 4c107b1 pushed by zhassan-aws
2m 19s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
2m 19s
Upgrade Rust toolchain to 2025-11-21 Cargo Deny #252: Commit 4b2d92a pushed by tautschnig
1m 44s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
1m 44s
Upgrade Rust toolchain to 2025-11-21 Cargo Deny #251: Commit 23da0ce pushed by tautschnig
1m 38s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
1m 38s