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.

This repository currently has no open or pending branches.

Detected dependencies

github-actions

.github/workflows/ci.yml

• actions/checkout v4
• actions/setup-python v5
• actions/checkout v4
• coq-community/docker-coq-action v1
• actions/checkout v4
• actions/setup-python v5
• ocaml/setup-ocaml v3

.github/workflows/publish.yml

• actions/checkout v4
• actions/setup-python v5
• actions/upload-artifact v4
• actions/checkout v4
• actions/setup-python v5
• actions/upload-artifact v4
• actions/checkout v4
• actions/download-artifact v4
• actions/download-artifact v4
• actions/download-artifact v4
• actions/upload-artifact v4
• actions/download-artifact v4
• actions/download-artifact v4
• actions/download-artifact v4
• actions/download-artifact v4
• sigstore/gh-action-sigstore-python v3.0.0
• actions/checkout v4
• peter-evans/create-pull-request v7
• python 3.x
• python 3.x

.github/workflows/standalone.yml

• actions/checkout v4
• actions/setup-python v5
• actions/upload-artifact v4

pep621

pyproject.toml

---

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