ci: gate main on type-check, lint and tests and repair the type error it caught - #70
Closed
polylane[bot] wants to merge 2 commits into
Closed
polylane[bot] wants to merge 2 commits into
polylane[bot] wants to merge 2 commits into
Commits
Commits on Sep 21, 2026
- authored andcommitted
- authored andcommitted
![polylane[bot]](https://avatars.githubusercontent.com/in/3436302?v=4&size=32){kind=avatar}