On Mon, 01 Dec 2025 15:47:23 +0100, Jonas Rebmann wrote:
> Coverity should have been set up to run on the next branch in the first
> place, to catch mistakes before they reach master.
>
> Always run it on branch next, and set a timer to run it in the night to
> the first of every month.
>
>
> [...]
Applied, thanks!
[1/1] ci: coverity: Run monthly, on branch next
https://git.pengutronix.de/cgit/barebox/commit/?id=b88a753ce2d7 (link may
not be stable)
Best regards,
--
Sascha Hauer <[email protected]>
