Move linters to separate workflow

.github/workflows/build.yml

@@ -29,32 +29,9 @@ permissions:
   contents: write
 
 jobs:
-  lint:
-    name: Run linters
-    runs-on: ubuntu-20.04
-
-    steps:
-      - uses: actions/checkout@v2 # Check out the repository first.
-      - name: Run prettier (JavaScript & TypeScript)
-        run: |
-          pushd frontend
-          npm install
-          npm run lint
-          popd
-
-      - name: Run ruff (Python)
-        uses: jpetrucciani/ruff-check@0.0.239
-        with:
-          path: './backend'
-
-      - name: Run ShellCheck
-        uses: ludeeus/action-shellcheck@master
-
-
   build:
     name: Build PluginLoader
     runs-on: ubuntu-20.04
-    needs: [lint]
 
     steps:
     - name: Print input

.github/workflows/lint.yml

@@ -0,0 +1,26 @@
+name: Lint
+
+on:
+  push:
+
+jobs:
+  lint:
+    name: Run linters
+    runs-on: ubuntu-20.04
+
+    steps:
+      - uses: actions/checkout@v2 # Check out the repository first.
+      - name: Run prettier (JavaScript & TypeScript)
+        run: |
+          pushd frontend
+          npm install
+          npm run lint
+          popd
+
+      - name: Run ruff (Python)
+        uses: jpetrucciani/ruff-check@0.0.239
+        with:
+          path: "./backend"
+
+      - name: Run ShellCheck
+        uses: ludeeus/action-shellcheck@master