diff options
author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2022-10-17 07:58:47 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-17 07:58:47 +0300 |
commit | be6372af8c8a4149e38540a009e19424cb14604f (patch) | |
tree | 31c7b37a005d360c47bce73fc1db2e8b01e7a5d5 /.github | |
parent | f6526f40914f5adbbe6ddbc4b5bfac55f7bc8629 (diff) | |
parent | ed97bb7b89ce8e55baab334cfde7d1cd3bdae69d (diff) |
Merge pull request #8189 from nextcloud/backport/8177/stable25
[stable25] 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 |