ci: remove custom pr-numbers again

This commit is contained in:
Folke Lemaitre 2024-06-05 15:20:32 +02:00
parent 71165ac52a
commit 7ed5a6c371
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040

View file

@ -1,6 +1,5 @@
name: "Pull Request Labeler"
on:
- workflow_dispatch
- pull_request_target
jobs:
@ -11,31 +10,3 @@ 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