Re: [orbit-dev] Stuck PR build

[Roland Grunberg <rgrunber@xxxxxxxxxx>]

On Tue, 2021-01-05 at 11:19 +0100, Aurélien Pupier wrote:
> Thank you Mat!
> 
> On Tue, Jan 5, 2021 at 10:56 AM Mat Booth <mat.booth@xxxxxxxxxx>
> wrote:
> > It is killed. Not sure why it was stuck.
> > 
> > On Tue, 5 Jan 2021 at 09:45, Aurélien Pupier <apupier@xxxxxxxxxx>
> > wrote:
> > > Hi,
> > > 
> > > can someone with enough rights (a committer I guess) look at this
> > > stuck PR build 
> > > https://ci.eclipse.org/orbit/job/gerrit-orbit-recipes/1542/ and
> > > kill it please?
> > > 
> > > It is blocking 4 other PR build.

I've set a timeout for the job. It could have just been a connectivity
issue on mirroring but I haven't seen a failure like that before.

Cheers,
-- 
Roland Grunberg