Skip to content

ci: run typecheck in the PR gate to match the post-merge gate#41

Open
dmchaledev wants to merge 1 commit into
mainfrom
claude/magical-ptolemy-nbszvn
Open

ci: run typecheck in the PR gate to match the post-merge gate#41
dmchaledev wants to merge 1 commit into
mainfrom
claude/magical-ptolemy-nbszvn

Commits

Commits on Jul 11, 2026