[Dune-devel] CI runner at TU Dresden: maintenance on 2019-06-11

[Ansgar Burchardt]

On Thu, 2019-06-06 at 14:40 +0200, Ansgar Burchardt wrote:
> the CI runner at TU Dresden will be moving to new hardware next week on
> 2019-06-11.  There will also be changes to the network setup of the VM
> which might cause minor issues.

Everything should be working again.

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/20190611/77908d7b/attachment.bin>