Repository navigation

Add `typecheck` commands - #4272

Merged

mbg merged 7 commits into

mainfrom

mbg/ci/typecheck

Oct 30, 2026

Merged

Add `typecheck` commands#4272
mbg merged 7 commits into
mainfrom
mbg/ci/typecheck

Commits on Oct 27, 2026
- Exclude main project tests from `pr-checks/tsconfig.json`
  mbg
  committed
  ab6209b
- Add check commands to `pr-checks/package.json`
  mbg
  committed
  9b9c8e2
- Add `typecheck` command to `package.json`
  mbg
  committed
  405433c
- Run `checks` command for `pr-checks` in CI
  mbg
  committed
  fe36f12
Commits on Oct 30, 2026
- Seperate checks in `pr-checks.yml`
  mbg
  committed
  0aaf198
- Merge remote-tracking branch 'origin/main' into mbg/ci/typecheck
  mbg
  committed
  8e175f3
- Exclude more unused files in `tsconfig.json`
  mbg
  committed
  a189728