diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 22 |
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 - """ - } - } - } -} |