diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 000000000..9bd7e1395 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,33 @@ +pipeline { + agent any + + options { + buildDiscarder(logRotator(numToKeepStr: '5')) + } + + stages { + stage('phpunit') { + steps { + sh """ + docker run --rm \ + --workdir /app \ + -v ${env.WORKSPACE}:/app \ + php:8.1-cli \ + php ./vendor/bin/phpunit + """ + } + } + 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 + """ + } + } + } +} |