I’ve restarted Hydra but it’ll be some time before it catches up. It now builds for /gnu/store, and offloads builds to hydra.gnunet.org (the other new build machine will come next.) There were networking issue with that machine so we may still get transient errors. I’ll keep monitoring and I hope we can fix that.
Thanks, Ludo’.