summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile17
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
- """
- }
- }
- }
-}