Re: linux-next: Tree for Jul 12 (no Rust)

From: Miguel Ojeda
Date: Tue Jul 13 2021 - 16:31:24 EST


On Tue, Jul 13, 2021 at 10:20 PM Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote:
>
> It was either a script bug (but I haven't seen this one before)
> or a user error (more likely).
> My daily linux-next builds are started by a cron job but the don't
> always start when they should (IMO), so I may have started it
> manually... but then the error that I saw would have only happened
> if 2 linux-next builds were started at almost the same time (one
> by cron, one manually by me) - I don't know if that happened or not.
>
> Today's linux-next builds didn't have any similar problem and I doubt
> that I can reconstruct what happened exactly.

I see -- it should be unlikely that someone else sees it then.

Thanks!

Cheers,
Miguel