diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index 0991f2c..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 registry.fakecake.org/cthulhoo/ttrss-fpm-pgsql-static:latest \ - php81 ./vendor/bin/phpstan analyse plugins/plugin - """ - } - } - } -} |