gh-358: add static types and fix (some) mypy#308
Closed
paddyroddy wants to merge 41 commits intomainfrom paddy/issue-280
+341-249
Commits
Commits on Oct 3, 2024
Commits on Oct 4, 2024
- authored
- committed
- committed
- committed
- committed
- committed
- authored
- committed
Commits on Oct 7, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 8, 2024
- committed
- committed
- committed
- committed
Commits on Oct 9, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 10, 2024
Commits on Oct 14, 2024
- committed
- committed
Commits on Oct 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed