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 Python Dependencies (breathe, sphinx, undefined)

Ignored or Blocked

These are blocked by an existing closed PR and will not be recreated unless you click a checkbox below.

• ⬆️🪝 Update pre-commit hook henryiii/validate-pyproject-schema-store to v2024.11.25

Detected dependencies

dockerfile

Dockerfile

• ubuntu 24.04

git-submodules

.gitmodules

• libs/alice master@ea855120eb5dbd91ca26e09a76ba009366b8f825
• libs/Catch2 devel@914aeecfe23b1e16af6ea675a4fb5dbd5a5b8d0a
• libs/parallel-hashmap master@154c63489e84d5569d3b466342a2ae8fd99e4734
• libs/tinyxml2 master@57ec94127bda7979282315b7d4b0059eeb6f3b5d
• libs/pybind11 master@d8565ac7317b4838a08308170f5b9ba82d091546
• libs/json develop@8215dbafbdab7c166fad02db86d4ea2a82f851c7
• libs/mockturtle mnt@2d8f914066255f881e2fa193fcf6b0399dcce9f6
• libs/alglib-cmake master@12a8b3b6d5ff7b50ead5684d3e6f891e03170175

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 v5
• 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 v5
• 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 v5
• wntrblm/nox 2025.02.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.7
• astral-sh/ruff-pre-commit v0.9.7
• pre-commit/mirrors-mypy v1.15.0
• rbubley/mirrors-prettier v3.5.2
• python-jsonschema/check-jsonschema 0.31.2
• 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