[ARVADOS-DEV] updated: a34d17d3b1b83e7b7e04191d609874c18d7cecaf

[Git user]

Summary of changes:
 jenkins/run-deploy.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

       via  a34d17d3b1b83e7b7e04191d609874c18d7cecaf (commit)
      from  0cb23c502a60c6801bb04ddddd736f20343ab578 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit a34d17d3b1b83e7b7e04191d609874c18d7cecaf
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Wed Jan 29 21:10:35 2020 +0000

    run deploy workbench2 for ce8i5

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index bd30adf..3f19160 100755
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -80,6 +80,7 @@ do
             ;;
         -d | --debug)
             DEBUG=1
+            set -x
             shift
             ;;
         --)
@@ -292,7 +293,7 @@ fi
 
 title "Gathering list of nodes"
 if [[ "$IDENTIFIER" == "ce8i5" ]]; then
-  start_nodes="keep keep0 shell"
+  start_nodes="keep keep0 shell workbench2"
   SHELL_NODE_FOR_ARV_KEEPDOCKER=""
 else
   SHELL_NODES=`ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv virtual_machine list |jq .items[].hostname -r`

-----------------------------------------------------------------------


hooks/post-receive
--