Skip to content

Fix ci: github actions requires ci-passed + bump pre-commit + fix mypy#313

Merged
mgovers merged 2 commits intomainfrom
feature/update-examples
Jun 10, 2025
Merged

Fix ci: github actions requires ci-passed + bump pre-commit + fix mypy#313
mgovers merged 2 commits intomainfrom
feature/update-examples

Commits

Commits on Jun 10, 2025