add Jenkinsfile

1 files changed, 18 insertions, 0 deletions

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..c3b84a5
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,18 @@
+pipeline {
+    agent any
+
+    stages {
+        stage('phpstan') {
+            steps {
+                sh """
+                # php -d memory_limit=-1 ....
+                docker run --rm \
+                    --workdir /app \
+                    -v ${env.WORKSPACE}:/app \
+                    php:8.1-cli \
+                    php -d memory_limit=-1 ./vendor/bin/phpstan --memory-limit=2G
+                """
+            }
+        }
+    }
+}