diff options
author | John Molakvoæ <skjnldsv@users.noreply.github.com> | 2022-01-19 19:57:30 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-19 19:57:30 +0300 |
commit | 56a8b3ae230faf3048605f8eb37c042be8a4226d (patch) | |
tree | 39daa1f80e3b733955736526e9c33cfd145563b1 | |
parent | 6fd5122f6e6f02ea6fde2d2c2febe400ca34bf10 (diff) | |
parent | 4def375c6dd2d82bae1731edb627507c4adb20bb (diff) |
Merge pull request #549 from nextcloud/backport/548/stable23v23.0.4rc1v23.0.4v23.0.3rc2v23.0.3rc1v23.0.3v23.0.2rc1v23.0.2v23.0.1rc3v23.0.1
-rw-r--r-- | .github/workflows/lint-php.yml | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index 3e8bac9..45493c3 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"] - 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 |