Make run-deploy.sh do a bit more work to update the rest of the staging
[arvados-dev.git] / jenkins /
drwxr-xr-x   ..
-rwxr-xr-x 7043 run-build-packages.sh
-rwxr-xr-x 4727 run-deploy.sh
-rwxr-xr-x 933 run-diagnostics-suite.sh
-rwxr-xr-x 805 run-docker-tests.sh
-rwxr-xr-x 1030 run-tapestry-tests.sh
-rwxr-xr-x 11573 run-tests.sh