From e38be640e6400d8a408bed614dc4d52ab66e4d7d Mon Sep 17 00:00:00 2001 From: Harry Mellor <19981378+hmellor@users.noreply.github.com> Date: Fri, 14 Feb 2025 00:12:32 +0000 Subject: [PATCH] Revert "Add label if pre-commit passes" (#13242) --- .github/workflows/add_label_precommit.yml | 38 ----------------------- 1 file changed, 38 deletions(-) delete mode 100644 .github/workflows/add_label_precommit.yml diff --git a/.github/workflows/add_label_precommit.yml b/.github/workflows/add_label_precommit.yml deleted file mode 100644 index a88b44f03a560..0000000000000 --- a/.github/workflows/add_label_precommit.yml +++ /dev/null @@ -1,38 +0,0 @@ -name: Add label on pre-commit success -on: - workflow_run: - workflows: [pre-commit] - types: [requested, completed] -jobs: - add-label-on-pre-commit-success: - runs-on: ubuntu-latest - if: ${{ github.event.workflow_run.conclusion == 'success' }} - steps: - - name: Add label - uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1 - with: - script: | - github.rest.issues.addLabels({ - owner: context.repo.owner, - repo: context.repo.repo, - issue_number: context.issue.number, - labels: ['pre-commit-passed'] - }) - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - remove-label-on-pre-commit-not-success: - runs-on: ubuntu-latest - if: ${{ github.event.workflow_run.conclusion != 'success' }} - steps: - - name: Remove label - uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1 - with: - script: | - github.rest.issues.removeLabels({ - owner: context.repo.owner, - repo: context.repo.repo, - issue_number: context.issue.number, - labels: ['pre-commit passed'] - }) - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}