Skip to content

ci: disable Coverity on the main branch temporarily#245

Open
kdudka wants to merge 1 commit into
mainfrom
ci-fix
Open

ci: disable Coverity on the main branch temporarily#245
kdudka wants to merge 1 commit into
mainfrom
ci-fix

Commits

Commits on Jun 19, 2026