move type checking to other workflow, fix TS errors, add TSC checking

.github/workflows/lint.yml

@@ -12,23 +12,12 @@ jobs:
     steps:
       - uses: actions/checkout@v3 # Check out the repository first.
 
-      - name: Install Python dependencies
+      - name: Install TypeScript dependencies
-        run: |
-          python -m pip install --upgrade pip
-          [ -f requirements.txt ] && pip install -r requirements.txt
-
-      - name: Install JavaScript dependencies
         working-directory: frontend
         run: |
           npm i -g pnpm
           pnpm i --frozen-lockfile
 
-      - name: Run pyright (Python)
+      - name: Run prettier (TypeScript)
-        uses: jakebailey/pyright-action@v1
-        with:
-          python-version: "3.10.6"
-          no-comments: true
-
-      - name: Run prettier (JavaScript & TypeScript)
         working-directory: frontend
         run: pnpm run lint

.github/workflows/typecheck.yml

@@ -1,8 +1,7 @@
-name: Type Check
+name: Type check
 
 on:
   push:
-  pull_request:
 
 jobs:
   typecheck:
@@ -10,10 +9,9 @@ jobs:
     runs-on: ubuntu-20.04
 
     steps:
-      - uses: actions/checkout@v2 # Check out the repository first.
+      - uses: actions/checkout@v3 # Check out the repository first.
 
       - name: Install Python dependencies
-        working-directory: backend
         run: |
           python -m pip install --upgrade pip
           [ -f requirements.txt ] && pip install -r requirements.txt
@@ -29,7 +27,6 @@ jobs:
         with:
           python-version: "3.10.6"
           no-comments: true
-          working-directory: backend
 
       - name: Run tsc (TypeScript)
         working-directory: frontend