Repository navigation

chore(deps-dev): bump @vitest/coverage-istanbul from 5.0.3 to 5.0.5 in the external-non-major group across 1 directory #43701

	name: 'Check for PR labels that block merging'
	on:
	pull_request:
	types:
	- opened
	- synchronize
	- labeled
	- unlabeled
	merge_group:

	jobs:
	ensure-blocking-pr-labels-absent:
	if: ${{ github.event_name != 'merge_group' }} # Skip this step for merge_group events
	runs-on: ubuntu-latest
	permissions:
	pull-requests: read
	steps:
	- name: Checkout and setup environment
	uses: MetaMask/action-checkout-and-setup@v3
	with:
	is-high-risk-environment: false
	persist-credentials: false
	- name: Run command
	uses: actions/github-script@v9
	with:
	script: \|
	if (context.payload.pull_request.labels.some((label) => label.name === 'DO-NOT-MERGE')) {
	core.setFailed(
	"PR cannot be merged because it contains the label 'DO-NOT-MERGE'."
	);
	}