split into a separate repo

1 files changed, 19 insertions, 0 deletions

diff --git a/vendor/masterminds/html5/Jenkinsfile b/vendor/masterminds/html5/Jenkinsfile
new file mode 100644
index 0000000..c0adb8d
--- /dev/null
+++ b/vendor/masterminds/html5/Jenkinsfile
@@ -0,0 +1,19 @@
+pipeline {
+    agent any
+
+    options {
+        buildDiscarder(logRotator(numToKeepStr: '5'))
+    }
+
+    stages {
+        stage('phpstan') {
+            steps {
+                sh """
+                docker run --rm -v ${env.WORKSPACE}:/src/tt-rss/lib/local \
+                    --workdir /src/tt-rss registry.fakecake.org/cthulhoo/ttrss-fpm-pgsql-static:latest\
+                    php81 ./vendor/bin/phpstan analyse lib/local --memory-limit=1G
+                """
+            }
+        }
+    }
+}