Merge pull request #6241 from shaneknapp/fix-hub-deployment-script

[DH-301] parens were causing this to quietly fail
berkeley-dsep-infra · Sep 24, 2024 · dd23716 · dd23716
2 parents 387e8eb + 8693e22
commit dd23716
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/scripts/determine-hub-deployments.py b/.github/scripts/determine-hub-deployments.py
@@ -18,10 +18,8 @@ def main(args):
     hubs = []
 
     # Deploy all hubs by getting deployment names from the dirs in deployments/
-    if (
-        "GITHUB_PR_LABEL_JUPYTERHUB_DEPLOYMENT" or
-        "GITHUB_PR_LABEL_HUB_IMAGES"
-    ) in os.environ.keys():
+    if "GITHUB_PR_LABEL_JUPYTERHUB_DEPLOYMENT" or \
+        "GITHUB_PR_LABEL_HUB_IMAGES" in os.environ.keys():
         for deployment in next(os.walk(args.deployments))[1]:
             if deployment not in args.ignore:
                 hubs.append(deployment)