Add option to disable stage metrics and stage_id
tags
#25560
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: Check do-not-merge labels | |
on: | |
pull_request: | |
types: | |
- opened | |
- reopened | |
- labeled | |
- unlabeled | |
- synchronize | |
jobs: | |
test: | |
runs-on: ubuntu-latest | |
name: Check do-not-merge labels | |
steps: | |
- name: Get PR labels | |
id: pr-labels | |
uses: joerick/[email protected] | |
- run: | | |
echo "A 'do-not-merge/*' label has been found in this PR." | |
exit 1 | |
if: contains(steps.pr-labels.outputs.labels, 'do-not-merge') |