From 8e490af01c446365b7d6e7168d7c2875ac31d5ee Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Sat, 25 Mar 2023 10:23:36 +0300 Subject: jenkins lint -> gitea workflow --- Jenkinsfile | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 Jenkinsfile (limited to 'Jenkinsfile') 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 - """ - } - } - } -} -- cgit v1.2.3