Skip "might not exist" report for string types with integer offsets in union decomposition check #29834
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # https://help.github.com/en/categories/automating-your-workflow-with-github-actions | |
| name: "Static Analysis" | |
| on: | |
| pull_request: | |
| paths-ignore: | |
| - 'compiler/**' | |
| - 'apigen/**' | |
| push: | |
| branches: | |
| - "2.1.x" | |
| paths-ignore: | |
| - 'compiler/**' | |
| - 'apigen/**' | |
| concurrency: | |
| group: sa-${{ github.head_ref || github.run_id }} # will be canceled on subsequent pushes in pull requests but not branches | |
| cancel-in-progress: true | |
| jobs: | |
| static-analysis: | |
| name: "PHPStan" | |
| runs-on: ${{ matrix.operating-system }} | |
| timeout-minutes: 60 | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| php-version: | |
| - "7.4" | |
| - "8.0" | |
| - "8.1" | |
| - "8.2" | |
| - "8.3" | |
| - "8.4" | |
| - "8.5" | |
| operating-system: [ubuntu-latest, windows-latest] | |
| steps: | |
| - name: Harden the runner (Audit all outbound calls) | |
| uses: step-security/harden-runner@5ef0c079ce82195b2a36a210272d6b661572d83e # v2.14.2 | |
| with: | |
| egress-policy: audit | |
| - name: "Checkout" | |
| uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| - name: "Install PHP" | |
| uses: "shivammathur/setup-php@44454db4f0199b8b9685a5d763dc37cbf79108e1" # v2 | |
| with: | |
| coverage: "none" | |
| php-version: "${{ matrix.php-version }}" | |
| ini-file: development | |
| extensions: mbstring | |
| - name: "Downgrade PHPUnit" | |
| if: matrix.php-version == '7.4' || matrix.php-version == '8.0' || matrix.php-version == '8.1' | |
| shell: bash | |
| run: "composer require --dev phpunit/phpunit:^9.6 sebastian/diff:^4.0 doctrine/instantiator:^1.0 --update-with-dependencies --ignore-platform-reqs" | |
| - uses: "ramsey/composer-install@3cf229dc2919194e9e36783941438d17239e8520" # v3 | |
| - uses: ./.github/actions/downgrade-code | |
| with: | |
| php-version: "${{ matrix.php-version }}" | |
| - name: "PHPStan" | |
| run: "make phpstan" | |
| - name: "Generate baseline" | |
| if: failure() && (matrix.php-version == '7.4' || matrix.php-version == '8.0' || matrix.php-version == '8.1') | |
| run: "php -d memory_limit=599M bin/phpstan analyse --generate-baseline baseline-php-${{ matrix.php-version }}.neon" | |
| - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2 | |
| if: ${{ failure() }} | |
| with: | |
| name: baseline-${{ matrix.php-version }} | |
| path: baseline-php-${{ matrix.php-version }}.neon | |
| static-analysis-with-result-cache: | |
| name: "PHPStan with result cache" | |
| runs-on: "ubuntu-latest" | |
| timeout-minutes: 60 | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| php-version: | |
| - "8.2" | |
| - "8.3" | |
| - "8.4" | |
| - "8.5" | |
| steps: | |
| - name: Harden the runner (Audit all outbound calls) | |
| uses: step-security/harden-runner@5ef0c079ce82195b2a36a210272d6b661572d83e # v2.14.2 | |
| with: | |
| egress-policy: audit | |
| - name: "Checkout" | |
| uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| - name: "Install PHP" | |
| uses: "shivammathur/setup-php@44454db4f0199b8b9685a5d763dc37cbf79108e1" # v2 | |
| with: | |
| coverage: "none" | |
| php-version: "${{ matrix.php-version }}" | |
| ini-file: development | |
| extensions: mbstring | |
| - uses: "ramsey/composer-install@3cf229dc2919194e9e36783941438d17239e8520" # v3 | |
| - name: "Cache Result cache" | |
| uses: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830 # v4.3.0 | |
| with: | |
| path: ./tmp | |
| key: "result-cache-v15-${{ matrix.php-version }}-${{ github.run_id }}" | |
| restore-keys: | | |
| result-cache-v15-${{ matrix.php-version }}- | |
| - name: "PHPStan with result cache" | |
| run: | | |
| make phpstan-result-cache | |
| bin/phpstan clear-result-cache -c build/phpstan.neon | |
| make phpstan-result-cache | |
| echo -e "\n\n" >> src/TrinaryLogic.php | |
| make phpstan-result-cache | |
| make phpstan-result-cache | |
| generate-baseline: | |
| name: "Generate baseline" | |
| runs-on: "ubuntu-latest" | |
| timeout-minutes: 60 | |
| steps: | |
| - name: Harden the runner (Audit all outbound calls) | |
| uses: step-security/harden-runner@5ef0c079ce82195b2a36a210272d6b661572d83e # v2.14.2 | |
| with: | |
| egress-policy: audit | |
| - name: "Checkout" | |
| uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| - name: "Install PHP" | |
| uses: "shivammathur/setup-php@44454db4f0199b8b9685a5d763dc37cbf79108e1" # v2 | |
| with: | |
| coverage: "none" | |
| php-version: "8.2" | |
| ini-file: development | |
| - uses: "ramsey/composer-install@3cf229dc2919194e9e36783941438d17239e8520" # v3 | |
| - name: "Generate baseline" | |
| run: | | |
| cp phpstan-baseline.neon phpstan-baseline-orig.neon && \ | |
| make phpstan-generate-baseline && \ | |
| diff phpstan-baseline.neon phpstan-baseline-orig.neon | |
| generate-baseline-php: | |
| name: "Generate PHP baseline" | |
| runs-on: "ubuntu-latest" | |
| timeout-minutes: 60 | |
| steps: | |
| - name: Harden the runner (Audit all outbound calls) | |
| uses: step-security/harden-runner@5ef0c079ce82195b2a36a210272d6b661572d83e # v2.14.2 | |
| with: | |
| egress-policy: audit | |
| - name: "Checkout" | |
| uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| - name: "Install PHP" | |
| uses: "shivammathur/setup-php@44454db4f0199b8b9685a5d763dc37cbf79108e1" # v2 | |
| with: | |
| coverage: "none" | |
| php-version: "8.2" | |
| ini-file: development | |
| - uses: "ramsey/composer-install@3cf229dc2919194e9e36783941438d17239e8520" # v3 | |
| - name: "Generate baseline" | |
| run: | | |
| true > phpstan-baseline.neon && \ | |
| make phpstan-generate-baseline-php && \ | |
| make phpstan-result-cache |