diff options
| author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2022-10-17 07:58:37 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-17 07:58:37 +0300 |
| commit | f6526f40914f5adbbe6ddbc4b5bfac55f7bc8629 (patch) | |
| tree | 22e54947754c6efc7cd72013da1d97ecf30802e1 /.github | |
| parent | 05020fd759a7985e247da5638e7a084f276bafee (diff) | |
| parent | ce3ebd76fc2446eec13f91a50633bd0af3ed964a (diff) | |
Merge pull request #8188 from nextcloud/backport/8179/stable25
[stable25] Updating lint-php-cs.yml workflow from template
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/lint-php-cs.yml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/.github/workflows/lint-php-cs.yml b/.github/workflows/lint-php-cs.yml index 425443dab..9f4bad17a 100644 --- a/.github/workflows/lint-php-cs.yml +++ b/.github/workflows/lint-php-cs.yml @@ -5,8 +5,10 @@ name: Lint -on: - pull_request: +on: pull_request + +permissions: + contents: read concurrency: group: lint-php-cs-${{ github.head_ref || github.run_id }} @@ -20,9 +22,9 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v2 + uses: actions/checkout@v3 - - name: Set up php ${{ matrix.php-versions }} + - name: Set up php uses: shivammathur/setup-php@v2 with: php-version: "7.4" |