Repository navigation
ci: run typecheck, build and the test suite on pull requests - #2861
Closed
LuisAlbertoMK wants to merge 1 commit into
Closed
LuisAlbertoMK wants to merge 1 commit into
LuisAlbertoMK wants to merge 1 commit into
Commits
Commits on Oct 23, 2026
- committed
el Gentleman