Skip to content

Actions: tautschnig/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
235 workflow runs
235 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade Rust toolchain to 2025-11-07 Cargo Deny #236: Commit f557b4b pushed by tautschnig
1m 52s toolchain-2025-11-07-manual
toolchain-2025-11-07-manual
1m 52s
Upgrade Rust toolchain to 2025-11-06 Cargo Deny #235: Commit 05da9c2 pushed by tautschnig
1m 57s toolchain-2025-11-06-manual
toolchain-2025-11-06-manual
1m 57s
Major-version update cargo dependencies Cargo Deny #234: Commit 3a93ae2 pushed by tautschnig
1m 38s cargo-update
cargo-update
1m 38s
Update charon patch Cargo Deny #233: Commit c2e1562 pushed by tautschnig
1m 50s charon-incremental
charon-incremental
1m 50s
Update charon submodule increment 7 Cargo Deny #232: Commit 91c5eec pushed by tautschnig
2m 5s charon-incremental
charon-incremental
2m 5s
Add macos-15 symlinks Cargo Deny #231: Commit fe05157 pushed by tautschnig
2m 9s macos-15
macos-15
2m 9s
Switch macos-13 CI jobs to macos-15-intel Cargo Deny #230: Commit 1f6ef63 pushed by tautschnig
2m 14s macos-15
macos-15
2m 14s
Upgrade to 2025-11-03 Cargo Deny #229: Commit e471bfe pushed by tautschnig
1m 52s toolchain-2025-11-01-manual
toolchain-2025-11-01-manual
1m 52s
Upgrade Rust toolchain to 2025-11-02 Cargo Deny #228: Commit a1a7749 pushed by tautschnig
1m 50s toolchain-2025-11-01-manual
toolchain-2025-11-01-manual
1m 50s
move the test to slow Cargo Deny #227: Commit 9c58050 pushed by thanhnguyen-aws
2m 2s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
2m 2s
change a test which runs forever to fixme Cargo Deny #226: Commit c9d5d41 pushed by thanhnguyen-aws
2m 1s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
2m 1s
Merge branch 'toolchain-2025-10-24-manual' of https://github.com/taut… Cargo Deny #225: Commit a360bcd pushed by thanhnguyen-aws
1m 45s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
1m 45s
Merge branch 'main' into toolchain-2025-10-24-manual Cargo Deny #224: Commit 2c02afd pushed by thanhnguyen-aws
2m 12s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
2m 12s
Merge branch 'main' into toolchain-2025-10-24-manual Cargo Deny #223: Commit 434b753 pushed by thanhnguyen-aws
2m 1s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
2m 1s
Upgrade Rust toolchain to 2025-10-24 Cargo Deny #222: Commit d0592d0 pushed by tautschnig
1m 34s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
1m 34s
Upgrade Rust toolchain to 2025-10-12 Cargo Deny #221: Commit df07216 pushed by tautschnig
1m 51s toolchain-2025-10-12-manual
toolchain-2025-10-12-manual
1m 51s
Complete CI permissions limiting Cargo Deny #220: Commit 31b495a pushed by tautschnig
2m 1s workflow-permissions
workflow-permissions
2m 1s
Upgrade Rust toolchain to 2025-10-03 Cargo Deny #219: Commit fe45ace pushed by tautschnig
1m 37s toolchain-2025-10-03-manual
toolchain-2025-10-03-manual
1m 37s
Only skip toolchain update upon exact issue match Cargo Deny #218: Commit 67c9069 pushed by tautschnig
1m 39s debug-tc-update
debug-tc-update
1m 39s
Upgrade Rust toolchain to 2025-09-30 Cargo Deny #217: Commit 4fcc826 pushed by tautschnig
1m 30s toolchain-2025-09-30-manual
toolchain-2025-09-30-manual
1m 30s
Upgrade Rust toolchain to 2025-09-30 Cargo Deny #216: Commit b184f66 pushed by tautschnig
1m 29s toolchain-2025-09-30-manual
toolchain-2025-09-30-manual
1m 29s
Automatic toolchain upgrade to nightly-2025-09-25 (#4380) Cargo Deny #215: Commit b74581d pushed by tautschnig
2m 14s main
main
2m 14s
Revert "Cache dependencies for CI jobs (#4181)" Cargo Deny #214: Commit ca863ea pushed by tautschnig
2m 8s revert-caching
revert-caching
2m 8s
Merge remote-tracking branch 'origin/main' into toolchain-2025-09-19-… Cargo Deny #213: Commit 8b49a2f pushed by tautschnig
1m 56s toolchain-2025-09-19-manual
toolchain-2025-09-19-manual
1m 56s
Update kani-driver/src/call_cbmc.rs Cargo Deny #212: Commit 9e92871 pushed by tautschnig
2m 20s toolchain-2025-09-19-manual
toolchain-2025-09-19-manual
2m 20s