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
commita1387a40ea48c04125d7f9c44ae6c1b2332a6535 (patch)
tree6c431ef8e7efc4cd10a49b5e110e5164e4afb10c /Jenkinsfile
parent1ded4f2f53057a34a130c8a0952429ac0c08389b (diff)
use gitlab ci
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
- """
- }
- }
- }
-}