[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 at 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 at 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 at pengutronix.de>