[Dune-devel] newer compilers in the CI system

[Ansgar Burchardt]

Hi,

On Tue, 2017-07-25 at 10:18 +0200, Martin Nolte wrote:
> While we're at it: Can we upload other Docker images to the duneci
> account on DockerHub?

Sure.  I just need to find my Docker password (or reset it).  Please
tell me which account needs write permissions where.

I also don't mind using the registry on our own Gitlab installation in
addition or instead of the public Docker registry as Steffen suggested.

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/20170802/d9725d54/attachment.bin>