add Jenkinsfile

pull/4/head
Andrew Dolgov 2 years ago
parent 892bcd634c
commit 78eb9d363f
No known key found for this signature in database
GPG Key ID: 1A56B4FA25D4AF2A

17
Jenkinsfile vendored

@ -0,0 +1,17 @@
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 cthulhoo/ttrss-fpm-pgsql-static:latest \
php81 ./vendor/bin/phpstan analyse plugins/plugin
"""
}
}
}
}
Loading…
Cancel
Save