Skip to content

ci: disable Coverity on the main branch temporarily#245

Merged
kdudka merged 1 commit into
mainfrom
ci-fix
Jun 22, 2026
Merged

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

Commits

Commits on Jun 19, 2026