mirror of https://github.com/nlohmann/json.git
Attempt to fix labeler permissions (#3674)
parent
b13b8748b6
commit
01af734d63
|
@ -1,10 +1,14 @@
|
||||||
name: "Pull Request Labeler"
|
name: "Pull Request Labeler"
|
||||||
|
|
||||||
on:
|
on:
|
||||||
- pull_request
|
pull_request_target:
|
||||||
|
types: [opened, synchronize]
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
label:
|
||||||
|
permissions:
|
||||||
|
contents: read
|
||||||
|
pull-requests: write
|
||||||
|
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue