Skip to content

Commit

Permalink
Merge pull request #17 from jarrodmillman/changelist
Browse files Browse the repository at this point in the history
Use changelist
  • Loading branch information
MridulS authored Oct 13, 2023
2 parents 4b875c3 + 4e11878 commit 6f2a075
Show file tree
Hide file tree
Showing 3 changed files with 40 additions and 0 deletions.
21 changes: 21 additions & 0 deletions .github/workflows/label-check.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
name: Labels

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

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@bc07be829f693829263e57d5e8489f4e57d3d420
with:
token: ${{ secrets.MILESTONE_LABELER_TOKEN }}
force: true
1 change: 1 addition & 0 deletions requirements/release.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
changelist==0.4

0 comments on commit 6f2a075

Please sign in to comment.