Dependency Dashboard

[renovate]

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.
View this repository on the Mend.io Web Portal.

PR Edited (Blocked)

The following updates have been manually edited so Renovate will no longer make changes. To discard all commits and start over, click on a checkbox below.

• ⬆️🪝 Update patch versions (astral-sh/ruff-pre-commit, astral-sh/setup-uv, astral-sh/uv-pre-commit, github/codeql-action, sphinx)
• ⬆️🪝 Update pre-commit hook pre-commit/mirrors-clang-format to v22

Open

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

• ⬆️🪝 Update pre-commit hook python-jsonschema/check-jsonschema to v0.37.0
• ⬆️👨‍💻 Update actions/attest-build-provenance action to v4
• ⬆️👨‍💻 Update GitHub Artifact Actions (major) (actions/download-artifact, actions/upload-artifact)
• ⬆️👨‍💻 Update wntrblm/nox action to v2026
• ⬆️🐍 Lock file maintenance
• Click on this checkbox to rebase all open PRs at once

PR Closed (Blocked)

The following updates are blocked by an existing closed PR. To recreate the PR, click on a checkbox below.

• ⬆️🐍 Update dependency sphinx to v9

Detected Dependencies

dockerfile (1)

Dockerfile (1)

• ubuntu 24.04

github-actions (11)

.github/workflows/clang-tidy-review.yml (3)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• cpp-linter/cpp-linter-action v2.16.7@b6edc0625e3941baa1797f4b4326adeab6890c97

.github/workflows/codeql-analysis.yml (13)

• jlumbroso/free-disk-space main
• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• hendrikmuhs/ccache-action v1.2@5ebbd400eff9e74630f759d94ddd7b6c26299639
• actions/setup-python v6.2.0@a309ff8b426b58ec0e2a45f0f869d46889d02405
• rui314/setup-mold v1
• BSFishy/pip-action v1
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• github/codeql-action v4.32.1@6bc82e05fd0ea64601dd4b465378bbcf57de0314 → [Updates: v4.32.4]
• github/codeql-action v4.32.1@6bc82e05fd0ea64601dd4b465378bbcf57de0314 → [Updates: v4.32.4]
• advanced-security/filter-sarif main
• github/codeql-action v4.32.1@6bc82e05fd0ea64601dd4b465378bbcf57de0314 → [Updates: v4.32.4]
• ubuntu 24.04
• python 3.14.x

.github/workflows/coverage.yml (8)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• hendrikmuhs/ccache-action v1.2@5ebbd400eff9e74630f759d94ddd7b6c26299639
• actions/setup-python v6.2.0@a309ff8b426b58ec0e2a45f0f869d46889d02405
• rui314/setup-mold v1
• BSFishy/pip-action v1
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• codecov/codecov-action v5.5.2@671740ac38dd9b0130fbe1cec585b89eea48d3de
• python 3.14.x

.github/workflows/docker-image.yml (7)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• docker/login-action v3.7.0@c94ce9fb468520275223c153574b00df6fe4bcc9
• docker/login-action v3.7.0@c94ce9fb468520275223c153574b00df6fe4bcc9
• docker/metadata-action v5.10.0@c299e40c65443455700f0fdfc63efafe5b349051
• docker/build-push-action v6.19.2@10e90e3645eae34f1e60eeb005ba3a3d33f178e8
• peter-evans/dockerhub-description v5@1b9a80c056b620d92cedb9d9b5a223409c68ddfa
• actions/attest-build-provenance v3.2.0@96278af6caaf10aea03fd8d33a09a777ca52d62f → [Updates: v4.1.0]

.github/workflows/macos.yml (5)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• actions/setup-python v6.2.0@a309ff8b426b58ec0e2a45f0f869d46889d02405
• hendrikmuhs/ccache-action v1.2@5ebbd400eff9e74630f759d94ddd7b6c26299639
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• python 3.14.x

.github/workflows/pyfiction-docstring-generator.yml (5)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• actions/setup-python v6.2.0@a309ff8b426b58ec0e2a45f0f869d46889d02405
• actions/upload-artifact v6@b7c566a772e6b6bfb58ed0dc250532a479d7789f → [Updates: v7.0.0]
• EndBug/add-and-commit v9.1.4@a94899bca583c204427a224a7af87c02f9b325d5
• python 3.14.x

.github/workflows/pyfiction-pypi-deployment.yml (14)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• astral-sh/setup-uv v7.3.0@eac588ad8def6316056a12d4907a9d4d84ff7a3b → [Updates: v7.3.1]
• actions/upload-artifact v6@b7c566a772e6b6bfb58ed0dc250532a479d7789f → [Updates: v7.0.0]
• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• ilammy/msvc-dev-cmd v1.13.0@0b201ec74fa43914dc39ae48a89fd1d8cb592756
• hendrikmuhs/ccache-action v1.2@5ebbd400eff9e74630f759d94ddd7b6c26299639
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• rui314/setup-mold v1
• astral-sh/setup-uv v7.3.0@eac588ad8def6316056a12d4907a9d4d84ff7a3b → [Updates: v7.3.1]
• pypa/cibuildwheel v3.3@298ed2fb2c105540f5ed055e8a6ad78d82dd3a7e
• actions/upload-artifact v6@b7c566a772e6b6bfb58ed0dc250532a479d7789f → [Updates: v7.0.0]
• actions/download-artifact v7@37930b1c2abaa49bbe596cd826c3c89aef350131 → [Updates: v8.0.0]
• actions/attest-build-provenance v3.2.0@96278af6caaf10aea03fd8d33a09a777ca52d62f → [Updates: v4.1.0]
• pypa/gh-action-pypi-publish release/v1

.github/workflows/python-bindings.yml (6)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• hendrikmuhs/ccache-action v1.2@5ebbd400eff9e74630f759d94ddd7b6c26299639
• rui314/setup-mold v1
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• astral-sh/setup-uv v7.3.0@eac588ad8def6316056a12d4907a9d4d84ff7a3b → [Updates: v7.3.1]
• wntrblm/nox 2025.11.12@0eee2e45758dbd06d48ebb23476439f0f00e5cbd → [Updates: 2026.02.09]

.github/workflows/release-drafter.yml (1)

• release-drafter/release-drafter v6.2.0@6db134d15f3909ccc9eefd369f02bd1e9cffdf97

.github/workflows/ubuntu.yml (7)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• hendrikmuhs/ccache-action v1.2@5ebbd400eff9e74630f759d94ddd7b6c26299639
• actions/setup-python v6.2.0@a309ff8b426b58ec0e2a45f0f869d46889d02405
• BSFishy/pip-action v1
• rui314/setup-mold v1
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• python 3.14.x

.github/workflows/windows.yml (6)

• actions/checkout v6.0.2@de0fac2e4500dabe0009e67214ff5f5447ce83dd
• actions/setup-python v6.2.0@a309ff8b426b58ec0e2a45f0f869d46889d02405
• ilammy/msvc-dev-cmd v1.13.0@0b201ec74fa43914dc39ae48a89fd1d8cb592756
• hendrikmuhs/ccache-action v1.2@5ebbd400eff9e74630f759d94ddd7b6c26299639
• cda-tum/setup-z3 v1.7.1@8156b32632230f11cf9c5a50becb33d73e2fb4e5
• python 3.14.x

pep621 (1)

pyproject.toml (16)

• python >=3.10
• z3-solver >=4.8.0
• scikit-build-core >=0.11.0
• setuptools-scm >=8.1
• setuptools-scm >=8.1
• sphinx ==8.1.3 → [Updates: ==8.2.3, ==9.1.0]
• sphinx ==8.2.3 → [Updates: ==9.1.0]
• breathe ==4.36.0
• sphinx-rtd-theme ==3.1.0
• sphinx-tabs ==3.4.7
• pytest >=9.0.1
• pytest-sugar >=1.1.1
• pytest-xdist >=3.8.0
• nox >=2025.11.12
• scikit-build-core >=0.10.1
• setuptools-scm >=8.1

pre-commit (1)

.pre-commit-config.yaml (12)

• pre-commit/pre-commit-hooks v6.0.0
• sirosen/texthooks 0.7.1
• pre-commit/pygrep-hooks v1.10.0
• cheshirekow/cmake-format-precommit v0.6.13
• pre-commit/mirrors-clang-format v21.1.8 → [Updates: v22.1.0]
• astral-sh/uv-pre-commit 0.10.0 → [Updates: 0.10.7]
• astral-sh/ruff-pre-commit v0.15.0 → [Updates: v0.15.4]
• pre-commit/mirrors-mypy v1.19.1
• rbubley/mirrors-prettier v3.8.1
• python-jsonschema/check-jsonschema 0.36.1 → [Updates: 0.37.0]
• henryiii/validate-pyproject-schema-store 2026.02.22
• srstevenson/nb-clean 4.0.1

---

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