Dependency Dashboard

[renovate]

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

Awaiting Schedule

These updates are awaiting their schedule. Click on a checkbox to get an update now.

• chore(deps): pin dependencies (MarcoIeni/release-plz-action, PyO3/maturin-action, Swatinem/rust-cache, actions/checkout, actions/create-github-app-token, actions/deploy-pages, actions/download-artifact, actions/setup-python, actions/upload-artifact, actions/upload-pages-artifact, giraffate/clippy-action, obi1kenobi/cargo-semver-checks-action, taiki-e/install-action)
• chore(deps): update patch updates (cc, inline-c, thiserror)
• chore(deps): update rust crate bzip2 to 0.5.0
• chore(deps): update dependency ubuntu to v24
• chore(deps): lock file maintenance

Detected dependencies

cargo

Cargo.toml

• anyhow 1.0.94
• atty 0.2.14
• bindgen 0.71.1
• bzip2 0.4.4
• cc 1.2.3
• chrono 0.4.39
• clap 4.5.23
• cmake 0.1.52
• concolor-clap 0.1.0
• cpu-time 1.0.0
• flate2 1.0.35
• git2 0.19.0
• glob 0.3.1
• itertools 0.13.0
• nom 7.1.3
• termcolor 1.4.1
• thiserror 2.0.6
• rand 0.8.5
• rand_chacha 0.3.1
• rustc-hash 2.1.0
• signal-hook 0.3.17
• tempfile 3.14.0
• visibility 0.1.1
• xz2 0.1.7

batsat/Cargo.toml

• batsat 0.5.0

cadical/Cargo.toml

capi/Cargo.toml

• inline-c 0.1.7
• cbindgen 0.27.0

glucose/Cargo.toml

ipasir/Cargo.toml

kissat/Cargo.toml

minisat/Cargo.toml

pyapi/Cargo.toml

• pyo3 0.23.3
• pyo3-build-config 0.23.3

solvertests/Cargo.toml

• syn 2.0
• quote 1.0
• proc-macro2 1.0

tools/Cargo.toml

github-actions

.github/workflows/batsat.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest

.github/workflows/cadical.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest

.github/workflows/capi.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest
• actions/checkout v4
• actions/checkout v4
• dtolnay/rust-toolchain stable

.github/workflows/docs.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action cargo-spellcheck

.github/workflows/glucose.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest

.github/workflows/ipasir.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2

.github/workflows/kissat.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest

.github/workflows/minisat.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest

.github/workflows/pages.yml

• actions/checkout v4
• actions/setup-python v5
• PyO3/maturin-action v1
• actions/upload-pages-artifact v3
• actions/deploy-pages v4

.github/workflows/pr-lints.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• actions/checkout v4
• dtolnay/rust-toolchain nightly
• Swatinem/rust-cache v2
• giraffate/clippy-action v1

.github/workflows/pyapi.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• PyO3/maturin-action v1
• actions/checkout v4
• actions/checkout v4
• actions/setup-python v5
• PyO3/maturin-action v1
• actions/upload-artifact v4
• actions/checkout v4
• Swatinem/rust-cache v2
• install-pinned/maturin 69e29227c757f6cf98bfd301f2eec45cea2a06a5
• install-pinned/mypy c6417c46426c90da6f8224c3d3b1935a812ffe75
• actions/checkout v4
• actions/setup-python v5
• PyO3/maturin-action v1
• actions/upload-artifact v4
• actions/checkout v4
• actions/setup-python v5
• PyO3/maturin-action v1
• actions/upload-artifact v4
• actions/checkout v4
• PyO3/maturin-action v1
• actions/upload-artifact v4
• actions/download-artifact v4
• PyO3/maturin-action v1

.github/workflows/release-plz.yml

• actions/create-github-app-token v1
• actions/checkout v4
• dtolnay/rust-toolchain stable
• MarcoIeni/release-plz-action v0.5

.github/workflows/release.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable

.github/workflows/rustsat.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest
• actions/checkout v4
• model-checking/kani-github-action v1
• ubuntu 20.04

.github/workflows/semver-checks.yml

• actions/checkout v4
• obi1kenobi/cargo-semver-checks-action v2
• obi1kenobi/cargo-semver-checks-action v2
• obi1kenobi/cargo-semver-checks-action v2
• obi1kenobi/cargo-semver-checks-action v2
• obi1kenobi/cargo-semver-checks-action v2
• obi1kenobi/cargo-semver-checks-action v2
• obi1kenobi/cargo-semver-checks-action v2

.github/workflows/tools.yml

• actions/checkout v4
• dtolnay/rust-toolchain stable
• Swatinem/rust-cache v2
• taiki-e/install-action nextest

pep621

pyapi/pyproject.toml

• maturin >=1.0,<2.0

---

• Check this box to trigger a request for Renovate to run again on this repository