Pin Jenkins to 5.1 temporarily (#299)

heavyai · Mar 19, 2020 · 716832d · 716832d
1 parent 6c23917
commit 716832d
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,7 @@
 def flake8_container_image = "alpine/flake8:3.7.7"
 def flake8_container_name = "pymapd-flake8-$BUILD_NUMBER"
-def db_container_image = "omnisci/core-os-cuda-dev:master"
+//def db_container_image = "omnisci/core-os-cuda-dev:master"
+def db_container_image = "omnisci/core-os-cuda"
 def db_container_name = "pymapd-db-$BUILD_NUMBER"
 def testscript_container_image = "rapidsai/rapidsai:0.8-cuda10.0-runtime-ubuntu18.04-gcc7-py3.6"
 def testscript_container_name = "pymapd-pytest-$BUILD_NUMBER"
@@ -59,7 +60,7 @@ pipeline {
                         }
                     }
                     post {
-                        always { 
+                        always {
                             script {
                                 if (stage_succeeded == true) {
                                     setBuildStatus("Build succeeded", "SUCCESS", "$STAGE_NAME");
@@ -143,7 +144,7 @@ pipeline {
                         }
                     }
                     post {
-                        always { 
+                        always {
                             script {
                                 if (stage_succeeded == true) {
                                     setBuildStatus("Build succeeded", "SUCCESS", "$STAGE_NAME");
@@ -203,7 +204,7 @@ pipeline {
                         }
                     }
                     post {
-                        always { 
+                        always {
                             script {
                                 if (stage_succeeded == true) {
                                     setBuildStatus("Build succeeded", "SUCCESS", "$STAGE_NAME");
@@ -264,7 +265,7 @@ pipeline {
                         }
                     }
                     post {
-                        always { 
+                        always {
                             script {
                                 if (stage_succeeded == true) {
                                     setBuildStatus("Build succeeded", "SUCCESS", "$STAGE_NAME");
@@ -318,7 +319,7 @@ pipeline {
                 //         }
                 //     }
                 //     post {
-                //         always { 
+                //         always {
                 //             script {
                 //                 if (stage_succeeded == true) {
                 //                     setBuildStatus("Build succeeded", "SUCCESS", "$STAGE_NAME");