Skip to content

Remove Java port - no longer available (#7933) #187

Remove Java port - no longer available (#7933)

Remove Java port - no longer available (#7933) #187

Workflow file for this run

name: PHPStan check
on:
pull_request:
push:
branches: [ master ]
permissions:
actions: read
checks: read
contents: read
deployments: none
issues: read
packages: none
pull-requests: read
repository-projects: none
security-events: none
statuses: none
jobs:
phpstan:
name: PHPStan
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install PHP
uses: shivammathur/setup-php@v2
with:
php-version: 8.2
tools: composer:v2
- name: "Composer install"
run: |
composer install --ignore-platform-reqs
- name: PHPStan
run: |
php -v
./vendor/bin/phpstan analyse -c phpstan.neon