Fixes for the deploy stage of the build pipeline: actually upgrade our
[arvados.git] / jenkins /
drwxr-xr-x   ..
-rwxr-xr-x 5792 run-build-packages.sh
-rwxr-xr-x 3672 run-deploy.sh
-rwxr-xr-x 529 run-docker-tests.sh
-rwxr-xr-x 1030 run-tapestry-tests.sh
-rwxr-xr-x 9383 run-tests.sh