ci: Begin CI pipeline

2022-03-15 16:04:50 -05:00
1 changed files with 4 additions and 0 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@ -10,6 +10,10 @@ pipeline {
        disableConcurrentBuilds()
    }

+    triggers {
+        pollSCM ''
+    }
+
    stages {
        stage('Prepare') {
            steps {