From dc63549e25023bc4a026830a193c21632facaa76 Mon Sep 17 00:00:00 2001 From: Atsushi Matsuo Date: Wed, 6 Aug 2025 08:21:21 +0900 Subject: [PATCH] Add "--output-mode=github" when executing phan on GitHub Actions --- .github/workflows/phan.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/phan.yml b/.github/workflows/phan.yml index 4d1f397..3910686 100644 --- a/.github/workflows/phan.yml +++ b/.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