Re: CI is not processing jobs

[Lars-Dominik Braun]

Hi Ludo,

> This has been running for ~4 days now; the number of pending builds has
> significantly decreased (in particular, you’ll be delighted to get
> substitutes for ‘core-updates’!):

excellent, thank you very much!

Lars