mirror of
https://github.com/PlaceholderAPI/PlaceholderAPI
synced 2026-06-09 00:34:41 +02:00
Andre_601
35 lines
950 B
YAML
35 lines
950 B
YAML
#
|
|
# A separate Workflow to comment on Pull requests
|
|
# for failed Wiki validation runs.
|
|
#
|
|
# This is to avoid code execution injected by
|
|
# extensions, plugins or hooks in MkDocs, that could
|
|
# abuse write permissions.
|
|
#
|
|
name: "Comment on failed Validation"
|
|
|
|
on:
|
|
workflow_run:
|
|
workflows:
|
|
- "Validate Wiki Build"
|
|
types:
|
|
- completed
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
comment:
|
|
if: github.event.workflow_run.conclusion == 'failure'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Comment on Pull request
|
|
uses: peter-evans/create-or-update-comment@v5
|
|
with:
|
|
issue-number: ${{ github.event.workflow_run.pull_requests[0].number }}
|
|
body: |
|
|
## Build validation failed
|
|
|
|
Something went wrong while running a test-build with this Pull request's changes.
|
|
Please check the [Workflow Run Logs](${{ github.event.workflow_run.html_url }}) for any details.
|