Skip to content

ci: disable Coverity on the main branch temporarily#244

Closed
kdudka wants to merge 1 commit into
mainfrom
coverity
Closed

ci: disable Coverity on the main branch temporarily#244
kdudka wants to merge 1 commit into
mainfrom
coverity

Conversation

@kdudka

@kdudka kdudka commented Jun 19, 2026

Copy link
Copy Markdown
Member

Summary

  • Temporarily disable Coverity CI on the main branch since the Coverity Scan service has been down

Test plan

  • Confirm CI passes on the branch (excluding Coverity)

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>'
```
@kdudka

kdudka commented Jun 19, 2026

Copy link
Copy Markdown
Member Author

Superseded by #245 — the coverity branch name was triggering the Coverity CI workflow.

@kdudka kdudka closed this Jun 19, 2026
@kdudka kdudka deleted the coverity branch June 19, 2026 07:19
@kdudka kdudka self-assigned this Jun 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant