From a7b591ae7fc6a2afe00fbb9fb54dcf64fdcfcc94 Mon Sep 17 00:00:00 2001 From: shane knapp Date: Wed, 28 Aug 2024 15:22:32 -0700 Subject: [PATCH] bashenannigans --- .github/workflows/deploy-hubs.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/deploy-hubs.yaml b/.github/workflows/deploy-hubs.yaml index 144f72728..25d8c75ca 100644 --- a/.github/workflows/deploy-hubs.yaml +++ b/.github/workflows/deploy-hubs.yaml @@ -27,7 +27,7 @@ jobs: # present, this means the base hub image has changed, and all hubs # (staging or prod) need to be redeployed. # - if [[ -n ${GITHUB_PR_LABEL_HUB_IMAGES} || -n ${GITHUB_PR_LABEL_JUPYTERHUB_DEPLOYMENT} ]]; then + if [[ -n GITHUB_PR_LABEL_HUB_IMAGES || -n GITHUB_PR_LABEL_JUPYTERHUB_DEPLOYMENT ]]; then echo "DEPLOY=1" >> $GITHUB_ENV # Otherwise, check to see if the PR labels contain any hubs, and # deploy just those hubs to staging. @@ -121,7 +121,7 @@ jobs: # present, this means the base hub image has changed, and all hubs # (staging or prod) need to be redeployed. # - if [[ -n ${GITHUB_PR_LABEL_HUB_IMAGES} || -n ${GITHUB_PR_LABEL_JUPYTERHUB_DEPLOYMENT} ]]; then + if [[ -v GITHUB_PR_LABEL_HUB_IMAGES || -v GITHUB_PR_LABEL_JUPYTERHUB_DEPLOYMENT ]]; then echo "DEPLOY=1" >> $GITHUB_ENV # Otherwise, check to see if the PR labels contain any hubs, and # deploy just those hubs to prod.