diff options
author | John Molakvoæ <skjnldsv@users.noreply.github.com> | 2020-09-19 09:37:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-19 09:37:49 +0200 |
commit | 6fc41057fdeb4aa294cacbbd0d99ef66810ab25e (patch) | |
tree | f46dec48c2de44f3a6b40fe03ad3b9aac99cbee4 /.github/workflows | |
parent | 7ace7b301e7e2514198003a5e557cce72a71e966 (diff) |
Add back php 7.2 linting for min supported versions
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/lint.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index dbb9abd8..0290f720 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -13,7 +13,7 @@ jobs: strategy: matrix: - php-versions: ['7.3', '7.4'] + php-versions: ['7.2', '7.3', '7.4'] name: php${{ matrix.php-versions }} steps: |