Skip to content

Move runpipe test to github actions #719

Move runpipe test to github actions

Move runpipe test to github actions #719

Workflow file for this run

name: Run PHPStan
on:
push:
branches:
- main
- '[0-9]+.[0-9]+'
pull_request:
branches:
- main
- '[0-9]+.[0-9]+'
jobs:
phpstan:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install DOMjudge
run: .github/jobs/baseinstall.sh admin
- uses: php-actions/phpstan@v3
with:
configuration: phpstan.dist.neon
path: webapp/src webapp/tests
php_extensions: gd intl mysqli pcntl zip