Merge pull request #807 from Kaggle/fix-jenkins-diff

Don't assume the same worker is running the diff stages

Author: rosbo

Jenkinsfile

@@ -120,15 +120,21 @@ pipeline {
         stage('CPU Diff') {
           steps {
             sh '''#!/bin/bash
-            ./diff
+            set -exo pipefail
+
+            docker pull gcr.io/kaggle-images/python:${STAGING_TAG}
+            ./diff --target gcr.io/kaggle-images/python:${STAGING_TAG}
           '''
           }
         }
         stage('GPU Diff') {
           agent { label 'ephemeral-linux-gpu' }
           steps {
             sh '''#!/bin/bash
-            ./diff --gpu
+            set -exo pipefail
+
+            docker pull gcr.io/kaggle-private-byod/python:${STAGING_TAG}
+            ./diff --gpu --target gcr.io/kaggle-private-byod/python:${STAGING_TAG}
           '''
           }
         }