Skip to content
pr-labels

build(deps): update numpy requirement from <2.0.0,>=1.16.0 to >=1.16.0,<3.0.0 #377

Sign in to view logs

build(deps): update numpy requirement from <2.0.0,>=1.16.0 to >=1.16.0,<3.0.0

build(deps): update numpy requirement from <2.0.0,>=1.16.0 to >=1.16.0,<3.0.0 #377

Workflow file for this run

.github/workflows/pr-labels.yml at 9af0abd
name: pr-labels
on:
pull_request:
branches: main
types: closed
jobs:
is-properly-labeled:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up python
uses: actions/setup-python@v5
- name: Install requests
run: pip install requests
- name: Process commit and find merger responsible for labeling
id: commit
run: echo "::set-output name=merger::$(python .github/verify_pr_labels.py ${{ github.event.pull_request.number }})"
- name: 'Comment PR'
uses: actions/[email protected]
if: ${{ steps.commit.outputs.merger != '' }}
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
const { issue: { number: issue_number }, repo: { owner, repo } } = context;
github.issues.createComment({ issue_number, owner, repo, body: 'Hey ${{ steps.commit.outputs.merger }} 👋\nYou merged this PR, but it is not correctly labeled. The list of valid labels is available at https://github.com/mindee/doctr/blob/main/.github/verify_pr_labels.py' });