Move linting to a separate GitHub Actions workflow

This way we introduce more parallelism in the GitHub Actions tests, which should reduce overall runtime and thus cannot hurt.

.github/workflows/lint.yml

@@ -0,0 +1,37 @@
+name: Lint
+on: [push, pull_request]
+permissions:
+  contents: read
+
+jobs:
+  lint:
+    name: Lint
+    runs-on: ubuntu-latest
+
+    strategy:
+      fail-fast: false
+      matrix:
+        node-version: [lts/*]
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - name: Use Node.js ${{ matrix.node-version }}
+        uses: actions/setup-node@v4
+        with:
+          node-version: ${{ matrix.node-version }}
+
+      - name: Install Gulp
+        run: npm install -g gulp-cli
+
+      - name: Install other dependencies
+        run: npm install
+
+      - name: Run lint
+        run: gulp lint
+
+      - name: Run lint-chromium
+        run: gulp lint-chromium

gulpfile.mjs

@@ -2439,9 +2439,5 @@ gulp.task("externaltest", function (done) {
 
 gulp.task(
   "ci-test",
-  gulp.series(
-    gulp.parallel("lint", "externaltest", "unittestcli"),
-    "lint-chromium",
-    "typestest"
-  )
+  gulp.series(gulp.parallel("externaltest", "unittestcli"), "typestest")
 );