summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2023-04-02 19:07:20 +0300
committerAndrew Dolgov <[email protected]>2023-04-02 19:07:20 +0300
commit045575c618ef22484ee661ea06a77550882fd71a (patch)
tree72bec757c7c1c0e3c33dab047924616c0d20aff3 /Jenkinsfile
parentca314fdf5ae1a0be1a9bfed2b112b2a53d564b9b (diff)
use gitlab ciHEADmaster
Diffstat (limited to 'Jenkinsfile')
-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
- """
- }
- }
- }
-}