ci: label more PRs

This commit is contained in:
Folke Lemaitre 2024-06-05 15:19:04 +02:00
parent 39c10b2b81
commit 71165ac52a
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040

View file

@ -1,5 +1,6 @@
name: "Pull Request Labeler"
on:
- workflow_dispatch
- pull_request_target
jobs:
@ -10,3 +11,31 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v5
with:
pr-number: |
2802
2797
2795
2695
2519
2495
2450
2449
2421
2416
2285
2282
2242
2232
2179
1958
1956
1949
1935
1884
1849
1815
1750
1740
1484
1450