Skip to content

upgrade to mypy action v0.15.0#257

Merged
jtherrmann merged 9 commits intodevelopfrom update-mypy-optionsJan 22, 2025

Commits

Commits on Jan 18, 2025

Commits on Jan 22, 2025