ci: add typecheck gate and fix the type errors it surfaces (#163)

* fix: remove unused imports

* feat: add typecheck to ci.yml

* chore: typecheck test commit

* Revert "chore: typecheck test commit"

This reverts commit f46971ec9a.

.github/workflows/ci.yml

@@ -39,6 +39,19 @@ jobs:
       - name: Run format check
         run: make format-check
 
+  typecheck:
+    name: Typecheck
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v7
+      - uses: oven-sh/setup-bun@0c5077e51419868618aeaa5fe8019c62421857d6 # v2
+      - name: Install UI dependencies
+        working-directory: ui
+        run: bun install --frozen-lockfile
+      - name: Run Typecheck
+        working-directory: ui
+        run: bun run typecheck
+
   unit-tests:
     name: Unit tests
     runs-on: ubuntu-latest
@@ -120,5 +133,4 @@ jobs:
       - uses: oven-sh/setup-bun@0c5077e51419868618aeaa5fe8019c62421857d6 # v2
       - name: ui/package.json and ui/bun.lock agree
         working-directory: ui
-        run: bun install --frozen-lockfile
-        
+        run: bun install --frozen-lockfile