ci: prevent merge of stacked PRs #4

Sign in to view logs

Workflow file for this run

.github/workflows/stacked-prs.yaml at cb64a27

	name: Stacked PRs
	on:
	pull_request:
	pull_request_target:

	jobs:
	prevent_merge_of_stacked_pr:
	runs-on: ubuntu-latest
	steps:
	- name: Check that base is "main"
	run: \|
	echo "${GITHUB_BASE_REF}"
	if [[ "${GITHUB_BASE_REF}" != "main" ]]; then
	exit 1;
	fi