summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile18
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
+ """
+ }
+ }
+ }
+}