Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 19 additions & 0 deletions .github/workflows/label-check.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name: Labels

on:
pull_request:
types:
- opened
- labeled
- unlabeled

env:
LABELS: ${{ join( github.event.pull_request.labels.*.name, ' ' ) }}

jobs:
check-type-label:
name: ensure type label
runs-on: ubuntu-latest
steps:
- if: "contains( env.LABELS, 'type: ' ) == false"
run: exit 1
18 changes: 18 additions & 0 deletions .github/workflows/milestone-merged-prs.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
name: Milestone

on:
pull_request_target:
types:
- closed
branches:
- "main"

jobs:
milestone_pr:
name: attach to PR
runs-on: ubuntu-latest
steps:
- uses: scientific-python/attach-next-milestone-action@f94a5235518d4d34911c41e19d780b8e79d42238
with:
token: ${{ secrets.MILESTONE_LABELER_TOKEN }}
force: true