diff options
author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2022-10-17 23:51:18 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-17 23:51:18 +0300 |
commit | ffe3179a98ef212cdba0c729cca2bfe00715fdaf (patch) | |
tree | 42695b6387affa510bab01cd5cbe6f6105dfc19f | |
parent | 727ea912b23e839d4b4084cbbe8ef5bf99c75efd (diff) |
Update .github/workflows/lint-php.yml
Signed-off-by: Joas Schilling <213943+nickvergessen@users.noreply.github.com>
-rw-r--r-- | .github/workflows/lint-php.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/lint-php.yml b/.github/workflows/lint-php.yml index 62476c9..674c069 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -25,7 +25,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - php-versions: ["7.4", "8.0", "8.1"] + php-versions: ["7.3", "7.4", "8.0", "8.1"] name: php-lint |