diff options
author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2022-10-20 16:43:01 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-20 16:43:01 +0300 |
commit | 33b02751af252475e539f809d4c8e2e775666401 (patch) | |
tree | 3baa468d03b2f299f2a9a91120d2e5e01b524391 | |
parent | 0e268db3791d86e50a0f17f8e860452830a1930a (diff) | |
parent | 4b3314c71924c20157263ea4410888d24a62781d (diff) |
Merge pull request #611 from nextcloud/feat/workflow-auto-update-lint-php.yml
Updating lint-php.yml workflow from template
-rw-r--r-- | .github/workflows/lint-php.yml | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index d089d1b..738bc99 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -5,17 +5,15 @@ name: Lint -on: - pull_request: - push: - branches: - - main - - master - - stable* +on: pull_request permissions: contents: read +concurrency: + group: lint-php-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + jobs: php-lint: runs-on: ubuntu-latest |