diff options
author | Daniel <mail@danielkesselberg.de> | 2022-06-01 11:05:55 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-01 11:05:55 +0200 |
commit | e92a2006975e9e3ba9e8f985595364524a6706a9 (patch) | |
tree | 1115b2a3edb98f72b7f8c549e01366054e48acd4 | |
parent | c10eb88ae9f6d6f194cc1d3aa9ec9bef9b971d4d (diff) | |
parent | 5525d7d2143c49f6f22630ee837ec2176f64599e (diff) |
Merge pull request #2762 from nextcloud/enhancement/php8.2-lint
Add PHP8.2 linting
-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 68ae194d..af3215b9 100644 --- a/.github/workflows/lint-php.yml +++ b/.github/workflows/lint-php.yml @@ -17,7 +17,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - php-versions: ["7.4", "8.0", "8.1"] + php-versions: ["7.4", "8.0", "8.1", "8.2"] name: php-lint |