Merge branch '13.0'

* 13.0:
  Fix cache key

Author: sebastianbergmann

.github/workflows/ci.yaml

@@ -347,9 +347,9 @@ jobs:
         uses: actions/cache@v5
         with:
           path: .phpunit.cache/code-coverage
-          key: ${{ runner.os }}-phpunit-code-coverage-${{ github.ref }}-
+          key: php-code-coverage-static-analysis-cache-${{ hashFiles('src/**/*.php') }}
           restore-keys: |
-            ${{ runner.os }}-phpunit-code-coverage-${{ github.ref }}-
+            php-code-coverage-static-analysis-cache-
 
       - name: Warm PHPUnit's static analysis cache
         run: ./phpunit --warm-coverage-cache