summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2023-04-02 19:07:19 +0300
committerAndrew Dolgov <[email protected]>2023-04-02 19:07:19 +0300
commit086c17e1a3c7545cfabcedd24090178719a19682 (patch)
tree8e7fc07394dccc91bc484cb4d815f5f2a1eaee34 /Jenkinsfile
parent59aa0989660890314e58029a19460dafd3eaa00c (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
- """
- }
- }
- }
-}