diff options
| author | Carl Schwan <carl@carlschwan.eu> | 2022-11-03 10:07:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-03 10:07:48 +0100 |
| commit | 74c28d6cf683330b145f33e1782e0bde2d4b3a20 (patch) | |
| tree | 9beef71fd9ff513dc7b4f39d3b4b589c8d589e23 /.github | |
| parent | bd94067783daa2aeb7c6eb09c2494489a731d51b (diff) | |
| parent | 73ec4d1990341406632cbbf096605eba3aae505e (diff) | |
Merge pull request #1493 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 | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index d8694efd..62476c90 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 |