On Mon, Dec 14, 2020 at 11:02:44AM +0100, Andreas Schwab wrote:
> On Dez 14 2020, Martin Liška wrote:
>
> > On 12/11/20 7:26 PM, Jakub Jelinek wrote:
> >> When running it manually it just completed without problems.
> >> So, no idea what happened.
> >
> > Morning.
> >
> > Unfortunately, today we have similar problem. Master was bumped, but
> > not any of the release branches:
>
> Perhaps it was competing with an ongoing push?
Unlikely. Because last successful commit to the repo before has been more
than 3 hours before the datestamp update time and first successful commit to
the repo after it has been more than 6 hours after it.
Jakub
