Type Checking - CI/CD Glossary Definition
Type checking verifies that values are used consistently with their declared or inferred types before the code runs, catching whole classes of bugs like passing a string where a number is expected. Tools include TypeScript (tsc), mypy, and the Go compiler.
In CI
Run tsc --noEmit or mypy . as a standalone check so type errors fail fast, independent of whether the test suite happens to exercise the broken path.