Run coverage on PHP 8.3

Author: BenMorel

.github/workflows/ci.yml

@@ -4,6 +4,9 @@ on:
   push:
   pull_request:
 
+env:
+  COVERAGE_PHP_VERSION: "8.3"
+
 jobs:
   phpunit:
     name: PHPUnit
@@ -40,16 +43,16 @@ jobs:
 
       - name: Run PHPUnit
         run: vendor/bin/phpunit
-        if: ${{ matrix.php-version != '8.1' }}
+        if: ${{ matrix.php-version != env.COVERAGE_PHP_VERSION }}
 
       - name: Run PHPUnit with coverage
         run: |
           mkdir -p build/logs
           vendor/bin/phpunit --coverage-clover build/logs/clover.xml
-        if: ${{ matrix.php-version == '8.1' }}
+        if: ${{ matrix.php-version == env.COVERAGE_PHP_VERSION }}
 
       - name: Upload coverage report to Coveralls
         run: vendor/bin/php-coveralls --coverage_clover=build/logs/clover.xml -v
         env:
           COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        if: ${{ matrix.php-version == '8.1' }}
+        if: ${{ matrix.php-version == env.COVERAGE_PHP_VERSION }}