ci: split into steps, remove lint

The current lint script runs prettier on the codebase, but it does not error. Ideally, formatting should run in Git hooks and error in CI. For now, omit this step to speed up builds.

.github/workflows/ci.yml

@@ -14,12 +14,14 @@ jobs:
           path: "**/node_modules"
           key: ${{ runner.os }}-modules-${{ hashFiles('**/package-lock.json') }}
 
-      - name: Install dependencies, build, test, and lint the codebase
+      - name: Install dependencies
-        run: |
+        run: npm install
-          npm install
+
-          npm run build:lib
+      - name: Build the codebase
-          npm run test:types
+        run: npm run build:lib
-          npm run lint
+
+      - name: Test types
+        run: npm run test:types
 
       - name: Trigger deploy
         if: github.ref == 'refs/heads/master'