Dependency Dashboard

[renovate]

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

Open

These updates have all been created already. Click a checkbox below to force a retry/rebase of any.

• ⬆️🪝 Update Pre-Commit Hooks (astral-sh/ruff-pre-commit, henryiii/validate-pyproject-schema-store, pre-commit/mirrors-mypy)
• ⬆️👨‍💻 Update astral-sh/setup-uv action to v5
• ⬆️🐍 Lock file maintenance
• Click on this checkbox to rebase all open PRs at once

Detected dependencies

dockerfile

Dockerfile

• ubuntu 24.04

github-actions

.github/workflows/clang-tidy-review-post.yml

• actions/github-script v7
• ZedThree/clang-tidy-review v0.20.1

.github/workflows/clang-tidy-review.yml

• actions/checkout v4
• ZedThree/clang-tidy-review v0.20.1
• andstor/file-existence-action v3.0.0
• actions/upload-artifact v4

.github/workflows/codeql-analysis.yml

• actions/checkout v4
• hendrikmuhs/ccache-action v1.2
• actions/setup-python v5
• rui314/setup-mold v1
• BSFishy/pip-action v1
• cda-tum/setup-z3 v1
• github/codeql-action v3
• github/codeql-action v3
• github/codeql-action v3
• ubuntu 24.04

.github/workflows/coverage.yml

• actions/checkout v4
• hendrikmuhs/ccache-action v1.2
• actions/setup-python v5
• rui314/setup-mold v1
• BSFishy/pip-action v1
• cda-tum/setup-z3 v1
• codecov/codecov-action v5

.github/workflows/docker-image.yml

• actions/checkout v4
• docker/login-action v3
• docker/login-action v3
• docker/metadata-action v5
• docker/build-push-action v6
• peter-evans/dockerhub-description v4
• actions/attest-build-provenance v2

.github/workflows/macos.yml

• actions/checkout v4
• actions/setup-python v5
• maxim-lobanov/setup-xcode v1
• hendrikmuhs/ccache-action v1.2
• cda-tum/setup-z3 v1

.github/workflows/pyfiction-docstring-generator.yml

• actions/checkout v4
• actions/setup-python v5
• actions/upload-artifact v4
• EndBug/add-and-commit v9

.github/workflows/pyfiction-pypi-deployment.yml

• actions/checkout v4
• astral-sh/setup-uv v4
• actions/upload-artifact v4
• actions/checkout v4
• ilammy/msvc-dev-cmd v1
• hendrikmuhs/ccache-action v1.2
• cda-tum/setup-z3 v1
• rui314/setup-mold v1
• astral-sh/setup-uv v4
• pypa/cibuildwheel v2.22
• actions/upload-artifact v4
• actions/download-artifact v4
• actions/attest-build-provenance v2

.github/workflows/python-bindings.yml

• actions/checkout v4
• hendrikmuhs/ccache-action v1.2
• rui314/setup-mold v1
• cda-tum/setup-z3 v1
• astral-sh/setup-uv v4
• wntrblm/nox 2024.10.09

.github/workflows/release-drafter.yml

• release-drafter/release-drafter v6

.github/workflows/ubuntu.yml

• actions/checkout v4
• hendrikmuhs/ccache-action v1.2
• actions/setup-python v5
• BSFishy/pip-action v1
• rui314/setup-mold v1
• cda-tum/setup-z3 v1

.github/workflows/windows.yml

• actions/checkout v4
• actions/setup-python v5
• hendrikmuhs/ccache-action v1.2
• cda-tum/setup-z3 v1

pep621

pyproject.toml

• z3-solver >=4.8.0
• pytest >=7.2
• setuptools-scm >=8.1
• sphinx ==8.1.3
• breathe ==4.35.0
• sphinx-rtd-theme ==3.0.2
• sphinx-tabs ==3.4.7
• z3-solver >=4.8.0
• scikit-build-core >=0.10.1
• setuptools-scm >=8.1

pip_requirements

docs/requirements.txt

• sphinx ==8.1.3
• breathe ==4.35.0
• sphinx-rtd-theme ==3.0.2
• sphinx-tabs ==3.4.7
• z3-solver >=4.8.0

libs/mugen/requirements.txt

• python-sat ==0.1.6.dev16
• wrapt_timeout_decorator ==1.5.1
• graphviz ==0.20.3

pre-commit

.pre-commit-config.yaml

• pre-commit/pre-commit-hooks v5.0.0
• sirosen/texthooks 0.6.8
• pre-commit/pygrep-hooks v1.10.0
• pre-commit/mirrors-clang-format v19.1.5
• astral-sh/ruff-pre-commit v0.8.3
• pre-commit/mirrors-mypy v1.13.0
• rbubley/mirrors-prettier v3.4.2
• python-jsonschema/check-jsonschema 0.30.0
• henryiii/validate-pyproject-schema-store 2024.10.21
• srstevenson/nb-clean 4.0.1

---

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