Merge remote-tracking branch 'origin/master'

Author: msyk

.github/workflows/phan.yml

@@ -15,10 +15,10 @@ jobs:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
       - name: Setup PHP
-        uses: shivammathur/setup-php@0f7f1d08e3e32076e51cae65eb0b0c871405b16e # v2.34.1
+        uses: shivammathur/setup-php@ccf2c627fe61b1b4d924adfcbd19d661a18133a0 # v2.35.2
         with:
           php-version: '8.4'
-          tools: phan
+          tools: phan:5.5.1
           coverage: none
 
       - name: Restore cached baseline for Phan
@@ -36,9 +36,9 @@ jobs:
         run: |
           if [ -f test/phan-baseline.php ]; then
             echo "Cached baseline for Phan is found. Running Phan with baseline."
-            phan -d ./ -k .phan/config.php --load-baseline test/phan-baseline.php --no-progress-bar
+            phan -d ./ -k .phan/config.php --load-baseline test/phan-baseline.php --output-mode=github --no-progress-bar
           else
             echo "Cached baseline for Phan is not found. Running Phan without baseline."
-            phan -d ./ -k .phan/config.php --no-progress-bar
+            phan -d ./ -k .phan/config.php --output-mode=github --no-progress-bar
             exit 0
           fi