Skip to content

Release/v3.10.3

Release/v3.10.3 #10

name: Check do not merge
on:
pull_request:
types:
- opened
- reopened
- synchronize
- edited
- labeled
- unlabeled
jobs:
ok-to-merge:
runs-on: ubuntu-latest
steps:
- name: This PR is labeled with do not merge
if: contains(github.event.pull_request.labels.*.name, 'DO NOT MERGE') == true
run: |
echo "This PR cannot be merged"
exit 1
- name: This PR is not labeled with do not merge
if: contains(github.event.pull_request.labels.*.name, 'DO NOT MERGE') == false
run: |
echo "This PR can be merged"
exit 0