Skip to content

build(deps): Bump github.com/rs/cors from 1.9.0 to 1.11.0 in /enclave-manager/server #8465

build(deps): Bump github.com/rs/cors from 1.9.0 to 1.11.0 in /enclave-manager/server

build(deps): Bump github.com/rs/cors from 1.9.0 to 1.11.0 in /enclave-manager/server #8465

Workflow file for this run

name: Do Not Merge
on:
pull_request:
types: [synchronize, opened, reopened, labeled, unlabeled]
merge_group:
jobs:
do-not-merge:
if: ${{ contains(github.event.*.labels.*.name, 'do not merge') }}
name: Prevent Merging
runs-on: ubuntu-latest
steps:
- name: Check for label
run: |
echo "Pull request is labeled as 'do not merge'"
echo "This workflow fails so that the pull request cannot be merged"
exit 1