chore(deps): bump the cargo-all group across 1 directory with 18 updates #1268
This file contains hidden or 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
| # This workflow checks if a pull request is labeled with "do not merge" or "WIP" and fails any jobs if the tag exists. | |
| name: 'Check PR Merge' | |
| permissions: | |
| contents: read | |
| on: | |
| pull_request: | |
| branches: | |
| - main | |
| types: | |
| - opened | |
| - reopened | |
| - synchronize | |
| - edited | |
| - labeled | |
| - unlabeled | |
| jobs: | |
| fail-by-label: | |
| if: contains(github.event.pull_request.labels.*.name, 'do not merge') || contains(github.event.pull_request.labels.*.name, 'WIP') | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Fail if PR is labeled "do not merge" or "WIP" | |
| # This step will fail the job if the PR has the "do not merge" or "WIP" label. | |
| run: | | |
| echo "This PR is labeled 'do not merge' or 'WIP'. Please remove the label to proceed with merging." | |
| exit 1 |