Add pull-requests: write for GNU CI

This commit is contained in:
Sylvestre Ledru 2022-10-08 12:21:26 +02:00 committed by GitHub
parent 97dd4824e5
commit b4de65b4d7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,7 +15,7 @@ jobs:
actions: read # for dawidd6/action-download-artifact to query and download artifacts
contents: read # for actions/checkout to fetch code
issues: write # to publish comment
pull-requests: read # for dawidd6/action-download-artifact to query commit hash
pull-requests: write # for dawidd6/action-download-artifact to query commit hash & publish comment
name: Run GNU tests
runs-on: ubuntu-latest
steps: