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

[Christoph Grüninger]

Hi,
not sure whether it's me, the branch, or a common problem. The
continuous integration system fails for dune-grid, at least when I try
to merge !261. The error message is:

> Cloning repository...
> Cloning into '/builds/core/dune-grid'...
> fatal: unable to access 'https://gitlab-ci-token:xxxxxxxxxxxxxxxxxxxx@gitlab.dune-project.org/core/dune-grid.git/': Could not resolve proxy: dune-proxy
> ERROR: Job failed: exit code
Can someone have a look?

Bye
Christoph

-- 
[..] Mathematicians are like theologians: we regard
existence as the prime attribute of what we study.
But unlike theologians, we need not always rely upon
faith alone.                      [Lawrence Evans]

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20180112/f4ee9939/attachment.sig>