From c14e139f5b23dcf548679c2fd544a8dc67600aa1 Mon Sep 17 00:00:00 2001 From: Andre_601 <11576465+Andre601@users.noreply.github.com> Date: Thu, 28 May 2026 00:17:42 +0200 Subject: [PATCH] Delete .github/workflows/comment_on_failed_validation.yml --- .../comment_on_failed_validation.yml | 34 ------------------- 1 file changed, 34 deletions(-) delete mode 100644 .github/workflows/comment_on_failed_validation.yml diff --git a/.github/workflows/comment_on_failed_validation.yml b/.github/workflows/comment_on_failed_validation.yml deleted file mode 100644 index 68c3ae6..0000000 --- a/.github/workflows/comment_on_failed_validation.yml +++ /dev/null @@ -1,34 +0,0 @@ -# -# 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.