summaryrefslogtreecommitdiff
path: root/.github/workflows/lint-doc.yml
blob: 0bd7a1971ec2f7d045745b71f2edd20195bbb270 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
name: Lint Doc
on:
  pull_request:

permissions:
  contents: read
  pull-requests: read

jobs:
  doc-lint:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd  # v6

      - name: Bullfrog Secure Runner
        continue-on-error: true
        uses: bullfrogsec/bullfrog@1831f79cce8ad602eef14d2163873f27081ebfb3  # v0.8.4
        with:
          egress-policy: audit

      - name: Get File Changes
        id: file_changes
        uses: trilom/file-changes-action@a6ca26c14274c33b15e6499323aac178af06ad4b  # v1.2.4

      - name: Set up Python
        uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405  # v6
        with:
          python-version: '3.x'

      - name: run doc linter
        env:
          # Pass modified + added + renamed file lists. `files_modified`
          # alone misses newly-added pages — a PR adding a new doc with
          # long lines or real public IPs would otherwise slip through.
          FILES_MODIFIED: ${{ steps.file_changes.outputs.files_modified }}
          FILES_ADDED: ${{ steps.file_changes.outputs.files_added }}
          FILES_RENAMED: ${{ steps.file_changes.outputs.files_renamed }}
        run: |
          python scripts/doc-linter.py \
            "$FILES_MODIFIED" \
            "$FILES_ADDED" \
            "$FILES_RENAMED"