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

[Ansgar Burchardt]

Hi,

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.

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/20190606/05af75f0/attachment.bin>