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

chore: Set permissions for GitHub actions
This commit is contained in:
Stéphane Graber 2022-06-08 01:26:59 -04:00 committed by GitHub
commit bb97e07995
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 12 additions and 0 deletions

View File

@ -2,6 +2,9 @@ name: Simple test build
on:
- push
- pull_request
permissions:
contents: read
jobs:
test:
strategy:

View File

@ -3,6 +3,9 @@ on:
push:
branches:
- master
permissions:
contents: read
jobs:
test:
runs-on: ubuntu-latest

View File

@ -2,6 +2,9 @@ name: Sanitizers build
on:
- push
- pull_request
permissions:
contents: read
jobs:
sanitizers:
strategy:

View File

@ -2,6 +2,9 @@ name: Static analysis
on:
- push
- pull_request
permissions:
contents: read
jobs:
test:
runs-on: ubuntu-18.04