Merge pull request #1220 from Andre601/wiki

Update wiki validation workflow
This commit is contained in:
Andre_601
2026-07-01 14:12:23 +02:00
committed by GitHub
2 changed files with 11 additions and 22 deletions
+4 -5
View File
@@ -12,11 +12,10 @@ on:
#
branches:
- 'wiki'
#
# Ignore changes to the README.md file
#
paths-ignore:
- 'README.md'
paths:
- ".theme/**"
- "docs/**"
- "mkdocs.yml"
#
# Releases cause this action to also fire.
# Using this prevents this problem.
+7 -17
View File
@@ -1,3 +1,8 @@
#
# Validates Pull requests targeting the wiki branch
# to ensure that the site can be build successfully
# without broken links, navigation, etc.
#
name: "Validate Wiki Build"
on:
@@ -14,7 +19,6 @@ on:
permissions:
contents: read
issues: write
env:
RUN_URL: "${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_number }}"
@@ -28,26 +32,12 @@ jobs:
with:
fetch-depth: 0
ref: "${{ github.event.pull_request.head.sha }}"
persist-credentials: false
- name: "Setup Python 3.x"
uses: actions/setup-python@v6
with:
python-version: 3.x
- name: "Install dependencies"
run: "pip install -r requirements.txt"
run: "python -m pip install mkdocs-material"
- name: "Build Site"
run: "mkdocs build --strict"
commentOnFail:
runs-on: ubuntu-latest
if: ${{ failure() }}
steps:
- name: "Create Comment"
uses: peter-evans/create-or-update-comment@v5
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