diff options
author | John Molakvoæ <skjnldsv@users.noreply.github.com> | 2022-02-21 13:43:14 +0100 |
---|---|---|
committer | Christoph Wurst <christoph@winzerhof-wurst.at> | 2022-12-16 09:01:02 +0100 |
commit | ec4bfe85d68007112120edac69eb265247731b69 (patch) | |
tree | 45710748ad30f889cefd6bf919e29870a24fb97f | |
parent | e573c75e3e906fc4782cddc850ad72500ac90640 (diff) |
Add back 7.3 php lintinglint/php-7.3
-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 4d96f604..3c3c2256 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", "8.2"] + php-versions: ["7.3", "7.4", "8.0", "8.1", "8.2"] name: php-lint |