[MIRROR] Bugfix of random.dm #266
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
| name: "Test Merge Blocker" | |
| on: | |
| pull_request: | |
| types: [synchronize, opened, labeled, unlabeled] | |
| jobs: | |
| testmerge-blocker: | |
| name: Enforce Test Merge Label | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Enforce Test Merge Label | |
| if: contains(github.event.pull_request.labels.*.name, 'Test Merge') && !contains(github.event.pull_request.labels.*.name, 'Test Merge Passed') | |
| run: | | |
| echo "Pull request is labeled for Test Merge and has not been flagged as Test Merge Passed." | |
| echo "The test merge must pass, or the label removed, before this PR can be merged." | |
| exit 1 |