diff options
author | Christoph Wurst <ChristophWurst@users.noreply.github.com> | 2022-10-17 10:28:51 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-17 10:28:51 +0300 |
commit | e3b4fd3cee3cd116fb7ce697120086fe1f29c518 (patch) | |
tree | 2754b7c8ef1b8f50ccdb5f5d1db85b514ed333b2 | |
parent | 43da1bcbfe82a71fe81858ef5f828b85779093f4 (diff) | |
parent | 3106525dfb819649e23ac45d7f110bdcc788e8e5 (diff) |
Merge pull request #1285 from nextcloud/feat/workflow-auto-update-lint-php.yml
Updating lint-php.yml workflow from template
-rw-r--r-- | .github/workflows/lint-php.yml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index fb53f55..2767e4b 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -13,6 +13,13 @@ on: - master - stable* +permissions: + contents: read + +concurrency: + group: lint-php-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + jobs: php-lint: runs-on: ubuntu-latest @@ -36,6 +43,8 @@ jobs: run: composer run lint summary: + permissions: + contents: none runs-on: ubuntu-latest needs: php-lint |