diff options
| author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2022-10-17 06:47:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-17 06:47:45 +0200 |
| commit | 035b7b8791befeb742ac21e02dc5e0b6a0e2844d (patch) | |
| tree | b16dcdb1df7a497f0410477cfe5c37591d4be2f0 /.github | |
| parent | 481ea9bad8f3acf6dfe62daa639c0e060fddd730 (diff) | |
| parent | 3a0fa5af05cde097efc2a270c80fcdce32087ab6 (diff) | |
Merge pull request #8177 from nextcloud/feat/workflow-auto-update-lint-php.yml
Updating lint-php.yml workflow from template
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/lint-php.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index a19e22871..0509e800e 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -5,8 +5,10 @@ name: Lint -on: - pull_request: +on: pull_request + +permissions: + contents: read concurrency: group: lint-php-${{ github.head_ref || github.run_id }} @@ -23,7 +25,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up php ${{ matrix.php-versions }} uses: shivammathur/setup-php@v2 @@ -35,6 +37,8 @@ jobs: run: composer run lint summary: + permissions: + contents: none runs-on: ubuntu-latest needs: php-lint |