Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit 0fcced9f authored by Fabio Hernandez's avatar Fabio Hernandez
Browse files

Update host names for using new distribution infrastructure

parent a3c7a49c
......@@ -145,7 +145,7 @@ Details on how to use this distribution mechanism for more advanced use cases ar
## Troubleshooting
Please note that in order for this distribution mechanism to work for you, you need your machine to be connected to the network and able to contact CC-IN2P3 server. To check this is the case please do:
$ curl --proxy --head
$ curl --proxy --head
You should see a line containning `HTTP/1.0 200 OK` which indicates that your machine can talk to the relevant server.
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