ci: disable Coverity on the main branch temporarily

kdudka · kdudka · commit e1ca59927a0a · 2026-06-19T09:22:32.000+02:00
The service has been down for quite some time now causing the CI to fail: ``` curl https://scan.coverity.com/download/other/linux64 \ % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 59 0 0 100 59 0 378 --:--:-- --:--:-- --:--:-- 378 100 1608 0 1549 100 59 7470 284 --:--:-- --:--:-- --:--:-- 7730 Error: Unable to process file command 'output' successfully. Error: Invalid format ' <head>' ```
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -3,7 +3,9 @@ name: Coverity
 
 on:
   push:
-    branches: [main]
+    branches:
+      - coverity
+      # - main
 
 jobs:
   coverity:
