diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml index 8037ffe..e5728db 100644 --- a/.github/workflows/Docs.yml +++ b/.github/workflows/Docs.yml @@ -33,6 +33,7 @@ jobs: contents: read packages: read # super-linter: read packages statuses: write # super-linter: report status checks + pull-requests: write # super-linter: post PR summary comment steps: - name: Checkout repository uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 @@ -44,6 +45,9 @@ jobs: uses: super-linter/super-linter@4ce20838b8ab83717e78138c5b3a1407148e0918 # v8.7.0 env: GITHUB_TOKEN: ${{ github.token }} + ENABLE_GITHUB_ACTIONS_STEP_SUMMARY: true + ENABLE_GITHUB_PULL_REQUEST_SUMMARY_COMMENT: true + SAVE_SUPER_LINTER_SUMMARY: true VALIDATE_BIOME_LINT: false VALIDATE_BIOME_FORMAT: false VALIDATE_JSCPD: false