Email Gateway (Jan 27 2025 at 18:57): Email Gateway (Jan 27 2025 at 18:57):From: Makarius <makarius@sketis.net>
We have an odd breakdown here: https://build.proof.cit.tum.de/build?name=all%2F480
Fabian is the expert on that ... (but if he won't answer tonight, I will try
myself).
Makarius
Email Gateway (Jan 27 2025 at 19:35):From: Makarius <makarius@sketis.net>
On 27/01/2025 19:57, Makarius wrote:
We have an odd breakdown here: https://build.proof.cit.tum.de/build?
name=all%2F480Fabian is the expert on that ... (but if he won't answer tonight, I will try
myself).
I think we are back to normal ...
Makarius
Last updated: Feb 01 2025 at 20:19 UTC