Add PHPStan CI step (DOMjudge#2096)

meisterT · Jul 8, 2023 · b417364 · b417364
1 parent cfd7a05
commit b417364
Show file tree

Hide file tree

Showing 117 changed files with 2,967 additions and 532 deletions.
diff --git a/.github/workflows/phpstan.yml b/.github/workflows/phpstan.yml
@@ -0,0 +1,23 @@
+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
diff --git a/composer.json b/composer.json
@@ -107,6 +107,8 @@
 	"require-dev": {
 		"ext-dom": "*",
 		"dama/doctrine-test-bundle": "^7.0",
+		"phpstan/phpstan": "^1.10",
+		"phpstan/phpstan-doctrine": "^1.3",
 		"squizlabs/php_codesniffer": "*",
 		"symfony/debug-bundle": "6.3.*",
 		"symfony/maker-bundle": "^1.42",

diff --git a/composer.lock b/composer.lock