diff options
| author | Nextcloud bot <bot@nextcloud.com> | 2022-10-15 13:09:14 +0300 |
|---|---|---|
| committer | Nextcloud bot <bot@nextcloud.com> | 2022-10-15 13:09:14 +0300 |
| commit | 727ea912b23e839d4b4084cbbe8ef5bf99c75efd (patch) | |
| tree | 5056d69a9b801c83df4821d07c6867c0330bd992 | |
| parent | 16e958caf1443a2894c94a6c4d807049bb778fe0 (diff) | |
Updating lint-php.yml workflow from template
Signed-off-by: Nextcloud bot <bot@nextcloud.com>
| -rw-r--r-- | .github/workflows/lint-php.yml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index 514e71f..62476c9 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -13,12 +13,19 @@ 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 strategy: matrix: - php-versions: ["7.3", "7.4", "8.0", "8.1"] + php-versions: ["7.4", "8.0", "8.1"] name: php-lint @@ -36,6 +43,8 @@ jobs: run: composer run lint summary: + permissions: + contents: none runs-on: ubuntu-latest needs: php-lint |