1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 04:45:20 +01:00

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

chore: Set permissions for GitHub actions
This commit is contained in:
orklah 2022-06-29 18:54:52 +02:00 committed by GitHub
commit 1d32a47d9e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 13 additions and 0 deletions

View File

@ -1,6 +1,9 @@
name: Run unit tests
on: [push, pull_request]
permissions:
contents: read
jobs:
lint:
name: Check PHP syntax
@ -42,6 +45,8 @@ jobs:
- run: |
git ls-files | grep \\\.php$ | grep -v ^dictionaries/scripts/* | ./vendor/bin/parallel-lint --stdin
chunk-matrix:
permissions:
contents: none
name: Generate Chunk Matrix
runs-on: ubuntu-latest

View File

@ -2,6 +2,9 @@ name: Run Shepherd
on: [push, pull_request]
permissions:
contents: read
jobs:
build:
runs-on: ubuntu-latest

View File

@ -2,8 +2,13 @@ name: Run unit tests on Windows
on: [push, pull_request]
permissions:
contents: read
jobs:
chunk-matrix:
permissions:
contents: none
name: Generate Chunk Matrix
runs-on: ubuntu-latest