Update jenkins configuration file

kokkos · Dec 19, 2023 · fa2cc65 · fa2cc65
1 parent 7b69caf
commit fa2cc65
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.jenkins/continuous.groovy b/.jenkins/continuous.groovy
@@ -1,6 +1,15 @@
 pipeline {
     agent none 
 
+    options {
+        disableConcurrentBuilds(abortPrevious: true)
+        timeout(time: 6, unit: 'HOURS')
+    }
+
+    triggers {
+        issueCommentTrigger('.*test this please.*')
+    }
+
     stages {
         stage('Clang-Format') {
             agent {