Add a github action to run mypy#307
Closed
ekr-cfa wants to merge 23 commits intomainfrom ekr_mypy_ci
+190-86
Commits
Commits on Dec 12, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 13, 2024
- committed
- committed
- committed
- committed
- committed