GNU bug report logs - #36419
webkitgtk build fails do to suspected race

Previous Next

Full log

Message #21 received at 36419-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Jack Hill <jackhill <at> jackhill.us>
Cc: 36419-done <at> debbugs.gnu.org
Subject: Re: bug#36419: webkitgtk fixed in later release?
Date: Tue, 24 Sep 2019 10:19:50 +0200

Hello,

Jack Hill <jackhill <at> jackhill.us> skribis:

> Today I was able to build webkitgkt 2.24.4 with Guix commit
> 4343eebfc9f7d44ec9a665f3374d1397301b542e. It looks like it is also
> available on ci.guix.gnu.org:
>
> https://ci.guix.gnu.org/25hz999kgcjh4alm6liwm12jm3blf5zz.narinfo
>
> This is a newer release of webkitgtk than the one that failed
> (2.24.2). Do we think this means that webkitgtk build problem has been
> fixed, or did we just get lucky with this release?
>
> My feeling is that we should close this bug and can open a new one if
> it re-occurs.

I agree.  Closed!

Thanks for following up on this,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.