diff options
| -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 |