proxmox-mirrors/mirror_frr
1
0
Fork 0
mirror of https://git.proxmox.com/git/mirror_frr synced 2025-08-08 09:30:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #15062 from opensourcerouting/fix/mark_as_failed_if_do_not_merge_labeled

Browse Source 
github: Mark the build as failed if 'do not merge' label is set
This commit is contained in:
Donald Sharp 2024-01-02 10:38:34 -05:00 committed by GitHub
commit 077fc27c4a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/freeze.yml vendored
View File

@ -1,4 +1,4 @@
name: Warn before merging if a "freeze" label exists name: Warn before merging if a "freeze" or "do not merge" label exists
on: on:
pull_request_target: pull_request_target:
@ -6,12 +6,12 @@ on:
jobs: jobs:
freeze_warning: freeze_warning:
if: ${{ contains(github.event.*.labels.*.name, 'freeze') }} if: ${{ contains(github.event.*.labels.*.name, 'freeze') || contains(github.event.*.labels.*.name, 'do not merge') }}
name: Warn before merging if a "freeze" label exists name: Warn before merging if a "freeze" or "do not merge" label exists
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Check for "freeze" label - name: Check for "freeze" label
run: | run: |
echo "Pull request is labeled as 'freeze'" echo "Pull request is labeled as 'freeze' or 'do not merge'"
echo "This workflow fails so that the pull request cannot be merged." echo "This workflow fails so that the pull request cannot be merged."
exit 1 exit 1