jaxlib 3h to 5h timeout

djherbis · web-flow · commit adf40a5b2b9e · 2024-05-03T18:39:19.000-04:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -64,7 +64,7 @@ pipeline {
         }
         stage('jaxlib') {
           options {
-            timeout(time: 180, unit: 'MINUTES')
+            timeout(time: 300, unit: 'MINUTES')
           }
           steps {
             sh '''#!/bin/bash
