Dependency Dashboard

[nextest-bot]

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

Open

The following updates have all been created. To force a retry/rebase of any, click on a checkbox below.

• Update Swatinem/rust-cache digest to e18b497
• Update Rust crate tokio-stream to 0.1.18
• Update rust-futures monorepo to 0.3.32 (futures, futures-util)
• Update model-checking/kani-github-action action to v1.1
• Update Rust crate proptest to 1.11.0
• Update Rust crate proptest-derive to 0.8.0
• Update Rust crate tokio to 1.52.2
• Lock file maintenance
• Click on this checkbox to rebase all open PRs at once

Detected Dependencies

cargo (1)

Cargo.toml (10)

• debug-ignore 1.0.5
• fnv 1.0.7
• futures-util 0.3.31 → [Updates: 0.3.32]
• pin-project-lite 0.2.17
• futures 0.3.31 → [Updates: 0.3.32]
• maplit 1.0.2
• proptest 1.6.0 → [Updates: 1.11.0]
• proptest-derive 0.5.1 → [Updates: 0.8.0]
• tokio 1.38.2 → [Updates: 1.52.2]
• tokio-stream 0.1.17 → [Updates: 0.1.18]

github-actions (3)

.github/workflows/ci.yml (10)

• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8
• Swatinem/rust-cache v2@23bce251a8cd2ffc3c1075eaa2367cf899916d84 → [Updates: v2]
• taiki-e/install-action v2@3235f8901fd37ffed0052b276cec25a362fb82e9
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• dtolnay/rust-toolchain master@3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9
• taiki-e/install-action nextest@285e94bf531e72a83c0923d52526fabb44c3b169
• Swatinem/rust-cache v2@23bce251a8cd2ffc3c1075eaa2367cf899916d84 → [Updates: v2]
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• model-checking/kani-github-action v1 → [Updates: v1.1]

.github/workflows/docs.yml (4)

• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8
• Swatinem/rust-cache v2@23bce251a8cd2ffc3c1075eaa2367cf899916d84 → [Updates: v2]
• JamesIves/github-pages-deploy-action releases/v4@800bbc83122db9d4c38fcd284782d5afe62e52df

.github/workflows/release.yml (5)

• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• rust-lang/crates-io-auth-action v1
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8
• taiki-e/create-gh-release-action v1@eba8ea96c86cca8a37f1b56e94b4d13301fba651
• ubuntu 24.04

renovate-config (1)

.github/renovate.json