Skip to content

ci: add the missing lint gate, and put typecheck in verify - #4

Merged
catomean merged 1 commit into
mainfrom
worktree-verify-floor-lint
Aug 16, 2026
Merged

ci: add the missing lint gate, and put typecheck in verify#4
catomean merged 1 commit into
mainfrom
worktree-verify-floor-lint

Commits

Commits on Aug 16, 2026