diff options
Diffstat (limited to '.github/workflows/lint-php.yml')
| -rw-r--r-- | .github/workflows/lint-php.yml | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index 9cfb484..0509e80 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -5,12 +5,14 @@ name: Lint -on: - pull_request: - push: - branches: - - 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: @@ -23,7 +25,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up php ${{ matrix.php-versions }} uses: shivammathur/setup-php@v2 @@ -35,6 +37,8 @@ jobs: run: composer run lint summary: + permissions: + contents: none runs-on: ubuntu-latest needs: php-lint |