diff options
author | John Molakvoæ <skjnldsv@users.noreply.github.com> | 2022-02-21 12:46:11 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-21 12:46:11 +0300 |
commit | ce58a4f865c4411930caf38d5372cfece5ddfaca (patch) | |
tree | dd617c5da0907786e90781ff365bd4df9792824f /.github | |
parent | 10aa07552c2cfff91495e5356916003f62ff7d75 (diff) | |
parent | f56d3368595512d7e9e1a932fd01d16ed43021e4 (diff) |
Merge pull request #2613 from nextcloud/feat/workflow-auto-update-lint-php.yml
Updating lint-php.yml workflow from template
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/lint-php.yml | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index 943e80b8..c1d72cc6 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -13,13 +13,13 @@ on: - stable* jobs: - lint: + php-lint: runs-on: ubuntu-latest strategy: matrix: - php-versions: ["7.3", "7.4", "8.0"] + php-versions: ["7.4", "8.0"] - name: php + name: php-lint steps: - name: Checkout @@ -33,3 +33,15 @@ jobs: - name: Lint run: composer run lint + + summary: + runs-on: ubuntu-latest + needs: php-lint + + if: always() + + name: php-lint-summary + + steps: + - name: Summary status + run: if ${{ needs.php-lint.result != 'success' && needs.php-lint.result != 'skipped' }}; then exit 1; fi |