summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile22
1 files changed, 0 insertions, 22 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index 0b4ec10..0000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,22 +0,0 @@
-pipeline {
- agent any
-
- options {
- buildDiscarder(logRotator(numToKeepStr: '5'))
- }
-
- 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
- """
- }
- }
- }
-}