On Fri, Jul 31, 2020 at 2:05 PM Friedrich Beckmann <[email protected]> wrote: > @Ben: Todays nightly build failed so I am not too sure if this exists, but do > you see a chance to provide a fixed link to the latest nightly build > distribution tgz?
I restarted it and it made it further. I guess that it will complete successfully in a few minutes
