gpu build timed out, increase build time to 12hr for now

djherbis · djherbis · commit d6986db59e4d · 2022-09-22T13:56:43.000Z
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -122,7 +122,7 @@ pipeline {
           stages {  
             stage('Build GPU Image') {
               options {
-                timeout(time: 180, unit: 'MINUTES')
+                timeout(time: 720, unit: 'MINUTES')
               }
               steps {
                 sh '''#!/bin/bash
