mirror of
https://github.com/verilator/verilator.git
synced 2026-09-08 18:36:36 +02:00
CI: Disallow pulls to stable
This commit is contained in:
@@ -0,0 +1,15 @@
|
||||
---
|
||||
# Block PRs against stable branch
|
||||
name: "Check PR not against 'stable'"
|
||||
on:
|
||||
pull_request:
|
||||
branches: [stable]
|
||||
|
||||
jobs:
|
||||
block-pr:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Fail and block PR
|
||||
run: |-
|
||||
echo "Error: Pull requests directly to 'stable' are not allowed. Please PR against 'master'."
|
||||
exit 1
|
||||
Reference in New Issue
Block a user