Add separate target to check types

.github/workflows/ci.yaml

@@ -26,6 +26,7 @@ jobs:
           sudo apt-get update -qq
           sudo apt-get install --no-install-recommends -qq -y gnome-shell strip-nondeterminism
       - run: npm ci
+      - run: make check-types
       - run: make dist-repro
       - run: b2sum *.zip > B2SUMS.txt
         working-directory: dist

Makefile

@@ -70,8 +70,12 @@ format:
 lint:
 	npm run lint
 
+.PHONY: check-types
+check-types:
+	npm run check:types
+
 .PHONY: check
-check: lint
+check: lint check-types
 	npm run format -- --check
 
 .PHONY: fix

package.json

@@ -17,6 +17,7 @@
   "scripts": {
     "generate:gir-types": "ts-for-gir generate",
     "compile": "tsc --build tsconfig.json",
+    "check:types": "tsc --build tsconfig.types.json",
     "lint": "eslint .",
     "format": "prettier ."
   },

tsconfig.types.json

@@ -0,0 +1,8 @@
+{
+  // A separate configuration to check type declarations
+  "extends": "./tsconfig.json",
+  "compilerOptions": {
+    "noEmit": true,
+    "skipLibCheck": false
+  }
+}