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