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? Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
