Commit e934a7a1 authored by Ansgar Burchardt's avatar Ansgar Burchardt

add duneci-depoy script [ci skip]

This makes it easier to update the CI environment.
parent ddbda975
Pipeline #1053 passed with stages
in 63 minutes and 25 seconds
#! /bin/bash
bindir=$(dirname "$0")
export PATH="${bindir}:$PATH"
duneci-proxy gitlab-ci-dune dune-proxy
duneci-proxy gitlab-ci-dune fu-proxy
duneci-runner
echo "gitlab-runner version information:"
docker exec gitlab-runner gitlab-runner -v
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