fix permission problem with lint pr workflow

This commit is contained in:
Ulf Gebhardt 2023-11-20 21:14:40 +01:00
parent 1ebd22cae5
commit f20b01829d
Signed by: ulfgebhardt
GPG Key ID: DA6B843E748679C9

View File

@ -9,7 +9,7 @@ on:
permissions: permissions:
pull-requests: write pull-requests: write
actions: write statuses: write
jobs: jobs:
main: main: