Commit 1e26ddee authored by Ansgar Burchardt's avatar Ansgar Burchardt

document what the proxy setup does

parent 80a2d187
......@@ -170,3 +170,9 @@ In gitlab-runner's `config.toml`:
[runners.docker]
network_mode = "gitlab-ci-dune"
```
This sets up a container `dune-proxy` which is part of two networks
(the default bridge and `gitlab-ci-dune`) running a squid proxy
configured to filter requests. The actual builds are only in the
`gitlab-ci-dune` network and can only access the internet via the
filtering proxy.
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