diff --git a/.github/workflows/prettier-label-action.yml b/.github/workflows/prettier-label-action.yml index eece5a0e4..ac7c8775b 100644 --- a/.github/workflows/prettier-label-action.yml +++ b/.github/workflows/prettier-label-action.yml @@ -55,15 +55,16 @@ jobs: git push origin HEAD:${{ github.event.pull_request.head.ref }} # Remove the label after formatting - - name: Remove formatting label - if: always() - uses: actions/github-script@v7 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - script: | - github.rest.issues.removeLabel({ - owner: context.repo.owner, - repo: context.repo.repo, - issue_number: context.issue.number, - name: 'prettier' - }) + # todo: label removal is flaky, disabled for now + # - name: Remove formatting label + # if: always() + # uses: actions/github-script@v7 + # with: + # github-token: ${{ secrets.GITHUB_TOKEN }} + # script: | + # github.rest.issues.removeLabel({ + # owner: context.repo.owner, + # repo: context.repo.repo, + # issue_number: context.issue.number, + # name: 'prettier' + # })