Created attachment 834926 [details]
OBS job history of Kernel:HEAD and Kernel:stable
Looking at the attached "osc jobhist" outputs, it seems that whatever caused
these build failures, it happened between 2020-02-28 and 2020-03-02. Of course,
it's possible that it was only some change in OBS configuration resulting in
getting "smaller" builders more often than before.