Jenkins Pipeline Updates

ci/Jenkinsfile

@@ -17,6 +17,10 @@ pipeline {
         parallelsAlwaysFailFast()
     }
 
+    environment {
+        GH = '~/bin/gh'
+    }
+
     stages { // This initial stage is used to get the Machine name from the GitHub labels on the PR
              // which is used to designate the Nodes in the Jenkins Controler by the agent label
              // Each Jenknis Node is connected to said machine via an JAVA agent via an ssh tunnel
@@ -223,6 +227,7 @@ pipeline {
                             expression { return caseList.contains(Case) }
                         }
                         steps {
+                            catchError(buildResult: 'FAILURE', stageResult: 'FAILURE') {
                             script {
                                 HOMEgfs = "${CUSTOM_WORKSPACE}/gfs"  // common HOMEgfs is used to launch the scripts that run the experiments
                                 def pslot = sh(script: "${HOMEgfs}/ci/scripts/utils/ci_utils_wrapper.sh get_pslot ${CUSTOM_WORKSPACE}/RUNTESTS ${Case}", returnStdout: true).trim()
@@ -271,6 +276,7 @@ pipeline {
                                     }
                                 }
                             }
+                            }
                         }
                     }
                 }