Dependency Dashboard

[nextest-bot]

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

Awaiting Schedule

The following updates are awaiting their schedule. To get an update now, click on a checkbox below.

• Update actions/configure-pages action to v6
• Update actions/deploy-pages action to v5
• Update actions/upload-pages-artifact action to v5
• 🔐 Create all awaiting schedule PRs at once 🔐

Open

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

• Update dtolnay/rust-toolchain digest
• Update Swatinem/rust-cache digest to e18b497
• Update Rust crate tokio-stream to 0.1.18
• Update rust-futures monorepo to 0.3.33 (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.53.0
• 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.33]
• pin-project-lite 0.2.17
• futures 0.3.31 → [Updates: 0.3.33]
• 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.53.0]
• tokio-stream 0.1.17 → [Updates: 0.1.18]

github-actions (3)

.github/workflows/ci.yml (10)

• actions/checkout v7@3d3c42e5aac5ba805825da76410c181273ba90b1
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• Swatinem/rust-cache v2@23bce251a8cd2ffc3c1075eaa2367cf899916d84 → [Updates: v2]
• taiki-e/install-action v2@3d7d7cd5ac7f994c1892ae0c06165095b9139094
• actions/checkout v7@3d3c42e5aac5ba805825da76410c181273ba90b1
• dtolnay/rust-toolchain master@3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9 → [Updates: master]
• taiki-e/install-action nextest@c295c25a8d3df7288fa86db860a4f8062bf76ad8
• Swatinem/rust-cache v2@23bce251a8cd2ffc3c1075eaa2367cf899916d84 → [Updates: v2]
• actions/checkout v7@3d3c42e5aac5ba805825da76410c181273ba90b1
• model-checking/kani-github-action v1 → [Updates: v1.1]

.github/workflows/docs.yml (6)

• actions/checkout v7@3d3c42e5aac5ba805825da76410c181273ba90b1
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• Swatinem/rust-cache v2@23bce251a8cd2ffc3c1075eaa2367cf899916d84 → [Updates: v2]
• actions/configure-pages v5@983d7736d9b0ae728b81ab479565c72886d7745b → [Updates: v6]
• actions/upload-pages-artifact v4@7b1f4a764d45c48632c6b24a0339c27f5614fb0b → [Updates: v5]
• actions/deploy-pages v4@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e → [Updates: v5]

.github/workflows/release.yml (5)

• actions/checkout v7@3d3c42e5aac5ba805825da76410c181273ba90b1
• rust-lang/crates-io-auth-action v1
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• taiki-e/create-gh-release-action v1@eba8ea96c86cca8a37f1b56e94b4d13301fba651
• ubuntu 24.04

renovate-config (1)

.github/renovate.json