diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index d437ca4d..b7ace2ac 100644
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -112,6 +112,9 @@ pipeline {
           matrix {
             agent {label "${PLATFORM}"}
             options { skipDefaultCheckout() }
+            environment {
+              HOME = "${env.WORKSPACE}" // required by "bash_standard_lib.sh" for "Push Docker Image" step
+            }
             axes {
               axis {
                 name 'PLATFORM'