ci: remove duplicated lint jobs/steps

Author: galargh

.github/workflows/check-docs-site.yml

@@ -29,8 +29,8 @@ jobs:
       - name: Install
         run: pnpm install --frozen-lockfile --prefer-offline
       - name: Install Docs
-        run: cd docs && pnpm install --frozen-lockfile --prefer-offline
-      - name: lint
-        run: cd docs && pnpm lint
-      - name: Build
-        run: cd docs && pnpm build
+        working-directory: docs
+        run: pnpm install --frozen-lockfile --prefer-offline
+      - name: Build Docs
+        working-directory: docs/
+        run: pnpm build

.github/workflows/comment-on-linter-error.yml

@@ -3,7 +3,9 @@ name: Lint
 on:
   push:
     branches: [main]
-  pull_request:
+  # Triggering on pull_request_target to provide quick feedback before
+  # all the other workflow runs triggered on pull_request are approved
+  pull_request_target:
     branches:
       - "**"
     paths:
@@ -19,8 +21,17 @@ jobs:
   lint:
     name: Lint
     runs-on: ubuntu-latest
+    permissions:
+      contents: read
     steps:
       - uses: actions/checkout@v4
+        with:
+          persist-credentials: false
+      - uses: actions/checkout@v4
+        if: github.event_name == 'pull_request_target'
+        with:
+          ref: "refs/pull/${{ github.event.number }}/merge"
+          persist-credentials: false
       - uses: pnpm/action-setup@v4
         with:
           version: 9
@@ -45,3 +56,21 @@ jobs:
       - name: Lint website
         working-directory: docs/
         run: pnpm lint
+  comment:
+    needs: [lint]
+    if: failure() && github.event_name == 'pull_request_target' && needs.lint.result == 'failure'
+    name: Comment
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+    steps:
+      - uses: actions/github-script@v7
+        name: Comment on failure
+        with:
+          script: |
+            github.rest.issues.createComment({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: "Thanks for submitting this PR!\n\nUnfortunately, it has some linter errors, so we can't merge it yet. Can you please fix them?\n\nRunning pnpm lint:fix in the root of the repository may fix them automatically."
+            })