devops: add missing workflow permission (#23413)

This commit is contained in:
Max Schmitt 2023-06-01 01:19:23 +02:00 committed by GitHub
parent 10ec3cfa2a
commit 92d650c317
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 0 deletions

View File

@ -69,6 +69,7 @@ jobs:
if: ${{ always() && github.event_name != 'pull_request' }} if: ${{ always() && github.event_name != 'pull_request' }}
permissions: permissions:
pull-requests: write pull-requests: write
checks: write
needs: [test_linux] needs: [test_linux]
timeout-minutes: 10 timeout-minutes: 10
runs-on: ubuntu-latest runs-on: ubuntu-latest
@ -210,6 +211,7 @@ jobs:
if: ${{ always() && github.event_name != 'pull_request' }} if: ${{ always() && github.event_name != 'pull_request' }}
permissions: permissions:
pull-requests: write pull-requests: write
checks: write
needs: [test_test_runner] needs: [test_test_runner]
timeout-minutes: 10 timeout-minutes: 10
runs-on: ubuntu-latest runs-on: ubuntu-latest

View File

@ -216,6 +216,7 @@ jobs:
if: ${{ always() && github.event_name != 'pull_request' }} if: ${{ always() && github.event_name != 'pull_request' }}
permissions: permissions:
pull-requests: write pull-requests: write
checks: write
needs: [tracing_linux] needs: [tracing_linux]
timeout-minutes: 10 timeout-minutes: 10
runs-on: ubuntu-latest runs-on: ubuntu-latest