Skip to content

Update mypy.yml#26

Merged
giovanni-guidini merged 1 commit intomainfrom gio/extend-mypy-workflowJun 4, 2024

Commits

Commits on Jun 3, 2024