Merge back v2023.8.8-alpha.200 to development #1638
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| env: | |
| CI: true | |
| jobs: | |
| enable: | |
| if: contains(github.event.pull_request.labels.*.name, 'auto-merge') | |
| runs-on: ubuntu-latest | |
| steps: | |
| - env: | |
| GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}} | |
| PR_URL: ${{github.event.pull_request.html_url}} | |
| name: Enable auto merge when have auto-merge label | |
| run: gh pr merge --auto --merge "$PR_URL" | |
| name: Auto merge PR | |
| on: | |
| pull_request_target: | |
| types: [opened, labeled, unlabeled, synchronize, reopened] | |
| permissions: | |
| contents: write | |
| pull-requests: write |