Skip to content

Commit c851e77

Browse files
committed
ci: ensure milestone is set on PRs
1 parent ccddbd1 commit c851e77

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

.github/workflows/pr-checks.yaml

+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
name: PR Checks
2+
3+
on:
4+
pull_request:
5+
6+
jobs:
7+
pr-checks:
8+
runs-on: ubuntu-latest
9+
steps:
10+
- name: Ensure milestone is set on the PR
11+
id: check_milestone
12+
run: |
13+
if [ -z "${{ github.event.pull_request.milestone }}" ]; then
14+
echo "No milestone set on the PR. Please set a milestone before proceeding."
15+
exit 1
16+
fi

0 commit comments

Comments
 (0)