Report super-linter results in the job summary instead of a PR comment

super-linter posts a pull request summary comment by default, which
calls the GitHub API with POST and requires pull-requests: write. The
Lint job only grants statuses: write, so the call fails with HTTP 403 on
every pull request. v8.7.0 logs this as an error and enables the step
summary by default, which also triggers a summary-inconsistency warning.

Disable the PR comment and publish the summary to the job step summary
instead (SAVE_SUPER_LINTER_SUMMARY enables it), keeping the job
least-privilege.

Author: MariusStorhaug

.github/workflows/Docs.yml

@@ -44,6 +44,12 @@ jobs:
         uses: super-linter/super-linter@9e863354e3ff62e0727d37183162c4a88873df41 # v8.6.0
         env:
           GITHUB_TOKEN: ${{ github.token }}
+          # Report results in the job summary, not as a PR comment.
+          # A PR comment needs pull-requests: write (not granted), so it 403s.
+          # SAVE_SUPER_LINTER_SUMMARY must be true to build the summary.
+          ENABLE_GITHUB_ACTIONS_STEP_SUMMARY: true
+          ENABLE_GITHUB_PULL_REQUEST_SUMMARY_COMMENT: false
+          SAVE_SUPER_LINTER_SUMMARY: true
           VALIDATE_BIOME_LINT: false
           VALIDATE_BIOME_FORMAT: false
           VALIDATE_JSCPD: false