[PATCH] ci: coverity: Run monthly, on branch next

[PATCH] ci: coverity: Run monthly, on branch next

[Jonas Rebmann]

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.

Signed-off-by: Jonas Rebmann <jre@pengutronix.de>
---
 .github/workflows/coverity.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 0ab7f9b8a0..f2b05d4c96 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -7,6 +7,8 @@ name: Coverity
 
 on:
   workflow_dispatch:
+  schedule:
+    - cron: "0 0 1 * *"
 
 permissions:
   contents: read
@@ -26,5 +28,7 @@ jobs:
     steps:
       - name: Repository checkout
         uses: actions/checkout@v4
+        with:
+          ref: next
       - name: Build & upload the results
         run: .github/workflows/coverity.sh

---
base-commit: ec00fef65d808f8bc9c5655262b0e4f8ce2c4e92
change-id: 20251201-coverity-schedule-761418279c0e

Best regards,
--  
Jonas Rebmann <jre@pengutronix.de>

Re: [PATCH] ci: coverity: Run monthly, on branch next

[Sascha Hauer]

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 <s.hauer@pengutronix.de>