Commit 4361d6ed authored by Ansgar Burchardt's avatar Ansgar Burchardt

duneci-deploy: put proxy on correct network [ci skip]

parent 9fab3666
Pipeline #1093 skipped
...@@ -4,7 +4,7 @@ bindir=$(dirname "$0") ...@@ -4,7 +4,7 @@ bindir=$(dirname "$0")
export PATH="${bindir}:$PATH" export PATH="${bindir}:$PATH"
duneci-proxy gitlab-ci-dune dune-proxy duneci-proxy gitlab-ci-dune dune-proxy
duneci-proxy gitlab-ci-dune fu-proxy duneci-proxy gitlab-ci-fu fu-proxy
duneci-runner duneci-runner
echo "gitlab-runner version information:" echo "gitlab-runner version information:"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment