From fb2eee1edcd2ef57b5aeb290581de096905a14b5 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Sun, 2 Oct 2022 16:06:21 +0300 Subject: [PATCH] remove plugin-specific Jenkinsfile --- Jenkinsfile | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index b7827eb..0000000 --- a/Jenkinsfile +++ /dev/null @@ -1,17 +0,0 @@ -pipeline { - agent any - - stages { - stage('phpstan') { - steps { - sh """ - docker run --pull=always \ - -v ${env.WORKSPACE}:/src/tt-rss/plugins/plugin \ - --workdir /src/tt-rss \ - --rm cthulhoo/ttrss-fpm-pgsql-static:latest \ - php81 ./vendor/bin/phpstan analyse plugins/plugin - """ - } - } - } -}