diff options
| author | Christoph Wurst <ChristophWurst@users.noreply.github.com> | 2022-02-21 13:03:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-21 13:03:31 +0100 |
| commit | a5ecd746279cf7037510c4aa993b51ae9d5b5f07 (patch) | |
| tree | e49a794d7900e5238ed21b45b2f09d71572f16b9 | |
| parent | 83362c9cf149852e2b831155700d0a43974dc1c8 (diff) | |
Revert "Updating lint-php.yml workflow from template"revert-2613-feat/workflow-auto-update-lint-php.yml
| -rw-r--r-- | .github/workflows/lint-php.yml | 18 |
1 files changed, 3 insertions, 15 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index c1d72cc6..943e80b8 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -13,13 +13,13 @@ on: - stable* jobs: - php-lint: + lint: runs-on: ubuntu-latest strategy: matrix: - php-versions: ["7.4", "8.0"] + php-versions: ["7.3", "7.4", "8.0"] - name: php-lint + name: php steps: - name: Checkout @@ -33,15 +33,3 @@ 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 |