Skip to content

gitlab-ci: Move Coverity build to Fedora 38

The old CentOS 7 image is no longer sufficient.

Merge request reports