Email Gateway (Jun 16 2025 at 09:24): Email Gateway (Jun 16 2025 at 09:24):From: Makarius <makarius@sketis.net>
I have tried to update the build_manager behind https://build.proof.cit.tum.de
and got something wrong.
It will be back very soon ...
Makarius
Email Gateway (Jun 16 2025 at 09:48):From: Makarius <makarius@sketis.net>
On 16/06/2025 11:24, Makarius wrote:
I have tried to update the build_manager behind https://build.proof.cit.tum.de
and got something wrong.It will be back very soon ...
It looks better now: my test is running and will be finished in a few minutes
https://build.proof.cit.tum.de/build?name=user%2F1782
Makarius
Last updated: Jul 12 2025 at 16:25 UTC