md lint changed files

EdwardAngert · EdwardAngert · commit 1da5f236a128 · 2024-12-09T21:57:35.000Z
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -221,12 +221,6 @@ jobs:
           ./scripts/check_unstaged.sh
         shell: bash
 
-      - name: markdownlint-cli2-action
-        uses: DavidAnson/markdownlint-cli2-action@v18.0.0
-        with:
-          config: ".github/actions/docs/markdownlint-cli2/.markdownlint.json"
-          globs: "docs/**/*.md"
-
   gen:
     timeout-minutes: 8
     runs-on: ${{ github.repository_owner == 'coder' && 'depot-ubuntu-22.04-8' || 'ubuntu-latest' }}
diff --git a/.github/workflows/docs-pr.yaml b/.github/workflows/docs-pr.yaml
@@ -1,3 +1,7 @@
+# Filtering pull requests is much easier when we can reliably guarantee
+# that the "Assignee" field is populated.
+name: Docs markdown lint
+
 on: [push, pull_request]
 
 jobs:
@@ -17,3 +21,8 @@ jobs:
       with:
         globs: ${{ steps.changed-files.outputs.all_changed_files }}
         separator: ","
+    - name: markdownlint-cli2-action
+      uses: DavidAnson/markdownlint-cli2-action@v18.0.0
+      with:
+        config: ".github/actions/docs/markdownlint-cli2/.markdownlint.json"
+        globs: "docs/**/*.md"
