Add jenkins multibranch pipeline options

kokkos · Nov 27, 2023 · 16972af · 16972af
1 parent 0d34280
commit 16972af
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.jenkins b/.jenkins
@@ -8,9 +8,14 @@ pipeline {
     }
 
     options {
+        disableConcurrentBuilds(abortPrevious: true)
         timeout(time: 6, unit: 'HOURS')
     }
 
+    triggers {
+        issueCommentTrigger('.*test this please.*')
+    }
+
     stages {
         stage('Clang-Format') {
             agent {