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