Merge pull request #2858 from turrisxyz/Pinned-Dependencies-GitHub

chore: Set permissions for GitHub actions
This commit is contained in:
Michael Teeuw 2022-06-04 14:59:28 +02:00 committed by GitHub
commit 47aefb0c82
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions

View File

@ -9,6 +9,9 @@ on:
pull_request:
branches: [master, develop]
permissions:
contents: read
jobs:
test:
runs-on: ubuntu-latest

View File

@ -9,6 +9,9 @@ on:
pull_request:
branches: [master, develop]
permissions:
contents: read
jobs:
run-and-upload-coverage-report:
runs-on: ubuntu-latest