Update Text import paths: /institutional #8437
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
| # Fails the pull request if it has the "DO-NOT-MERGE" label | |
| name: Check "DO-NOT-MERGE" label | |
| on: | |
| pull_request: | |
| types: [opened, reopened, labeled, unlabeled, synchronize] | |
| jobs: | |
| do-not-merge: | |
| runs-on: ubuntu-latest | |
| if: ${{ contains(github.event.pull_request.labels.*.name, 'DO-NOT-MERGE') }} | |
| steps: | |
| - name: 'Check for label "DO-NOT-MERGE"' | |
| run: | | |
| echo 'This check fails PRs with the "DO-NOT-MERGE" label to block merging' | |
| exit 1 |