diff options
-rw-r--r-- | Jenkinsfile | 18 |
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 + """ + } + } + } +} |