[Dune-devel] dune-grid's CI blocks !261

[Ansgar Burchardt]

On Fri, 2018-01-12 at 15:35 +0100, Christoph Grüninger wrote:
> The error message is:
> 
> > Cloning repository...
> > Cloning into '/builds/core/dune-grid'...
> > fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxx
> > xx at gitlab.dune-project.org/core/dune-grid.git/': Could not resolve
> > proxy: dune-proxy
> > ERROR: Job failed: exit code

Docker's integreated DNS server somehow forgot about that.  No idea
why, but restarting docker fixed it.

Ansgar
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 6519 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20180112/531afd1d/attachment.bin>