diff options
author | John Molakvoæ <skjnldsv@users.noreply.github.com> | 2022-10-15 13:09:47 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-15 13:09:47 +0300 |
commit | c7dd32136b59e2a4283e8ef33fd08aa3e8d9661a (patch) | |
tree | 2aa0a9513fcd9702d42bceb6ee28e7c3a3100b8c | |
parent | 328ed3a20d616f529862c0518f17b6eb3bc96e00 (diff) | |
parent | 4467eeecb1e648bda11bf779a92a5b33ad23a1a5 (diff) |
Merge pull request #402 from nextcloud/feat/workflow-auto-update-lint-php.yml
-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 a4abc44..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.4", "8.0"] + 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 |