fix: Add permissions for pull request creation in coverage-badge workflow (#2832)

# What does this PR do?
The workflow that automatically creates a PR to update the Coverage
Badge fails as the `GITHUB_TOKEN` doesn't have write permissions.

As opposed to providing write permissions to the token, we can provide
the permissions for just this workflow with this PR.
This commit is contained in:
Christian Zaccaria 2025-07-21 10:40:00 +01:00 committed by GitHub
parent 28956f9447
commit 56269245c2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -15,6 +15,9 @@ on:
jobs: jobs:
unit-tests: unit-tests:
permissions:
contents: write # for peter-evans/create-pull-request to create branch
pull-requests: write # for peter-evans/create-pull-request to create a PR
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Checkout repository - name: Checkout repository