[mbg]

A small follow-up to #4267 (comment) which adds typecheck commands to both projects. We already invoke the TypeScript compiler under other circumstances (e.g. when compiling tests), which will perform type-checking, but having the stand-alone commands is still nice because it is faster than a build.

As a related improvement, I have excluded the main project's test files from the pr-checks project in pr-checks/tsconfig.json. The test files are not used there, add unnecessary overhead to the sub-project, and currently don't typecheck in the context of the sub-project because it uses ESM while the main project is on CJS.

[Copilot]

🟡 Changes recommended

The CI workflow skips tests when typechecking fails, preventing test failures from being reported alongside type errors.

1 open issue

• Separate typecheck and test steps so failures report independently · New

What changed in this PR

Adds standalone TypeScript checks for the CodeQL Action and its development scripts, allowing type validation without a full build.

Changes:

• Add typecheck commands to both projects.
• Run pr-checks typechecking and tests together in CI.
• Exclude main-project tests from the pr-checks configuration to avoid unnecessary checks and ESM/CommonJS incompatibilities.

File	Description
pr-checks/​tsconfig.json	Excludes main-project test files from typechecking.
pr-checks/​package.json	Adds typecheck, test, and combined check scripts.
package.json	Adds the main project's no-emit typecheck command.
.github/​workflows/​pr-checks.yml	Runs the combined pr-checks checks in CI.

_{Review effort: Max}

[mario-campos]

LGTM with a minor question