On Thu, Apr 03, 2014 at 05:14:42PM +0200, Ludovic Courtès wrote: > I’ve just restarted it, and now it looks as succeeding.
This is something I have occasionally observed before, even without offload- ing: A build log shows that everything worked well, and the build fails. Restarting the build solved the problem. > Offloading failed in some way. hydra.gnunet.org was down for some time, > so perhaps we hit that just at this moment. Or some networking issue > occurred just as we were retrieving the build outputs to hydra.gnu.org > (although these are normally distinguished from permanent build > failures, and marked as aborted.) Or there’s a bug in the offload hook. So this may be true, but the problem may also be unrelated to offloading. Andreas
