Merge aa/type-cleanup-py (work by marios, aa, wolv)

.github/workflows/lint.yml

@@ -2,6 +2,7 @@ name: Lint
 
 on:
   push:
+  pull_request:
 
 jobs:
   lint:
@@ -10,8 +11,13 @@ jobs:
 
     steps:
       - uses: actions/checkout@v3 # Check out the repository first.
-      - name: Run prettier (JavaScript & TypeScript)
+
+      - name: Install TypeScript dependencies
+        working-directory: frontend
         run: |
-          pushd frontend
-          npm install
-          npm run lint
+          npm i -g pnpm
+          pnpm i --frozen-lockfile
+
+      - name: Run prettier (TypeScript)
+        working-directory: frontend
+        run: pnpm run lint