Improve Wiki validation run

This commit is contained in:
Andre_601
2026-05-27 23:35:42 +02:00
committed by GitHub
parent 79fabecbf3
commit 532c98a41d
@@ -19,7 +19,6 @@ on:
permissions: permissions:
contents: read contents: read
issues: write
env: env:
RUN_URL: "${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_number }}" RUN_URL: "${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_number }}"
@@ -33,6 +32,7 @@ jobs:
with: with:
fetch-depth: 0 fetch-depth: 0
ref: "${{ github.event.pull_request.head.sha }}" ref: "${{ github.event.pull_request.head.sha }}"
persist-credentials: false
- name: "Setup Python 3.x" - name: "Setup Python 3.x"
uses: actions/setup-python@v6 uses: actions/setup-python@v6
with: with:
@@ -41,15 +41,3 @@ jobs:
run: "python -m pip install mkdocs-material" run: "python -m pip install mkdocs-material"
- name: "Build Site" - name: "Build Site"
run: "mkdocs build --strict" run: "mkdocs build --strict"
- name: "Create Comment"
uses: peter-evans/create-or-update-comment@v5
if: ${{ failure() }}
with:
body: |-
## Wiki Build failure
Something went wrong while creating a test-build of the Wiki for this Pull request.
Please check the [Workflow Logs](${{ env.RUN_URL }}) for any errors.
issue-number: "${{ github.event.pull_request.number }}"
token: "${{ secrets.GITHUB_TOKEN }}"
edit-mode: replace