Skip to content

gitlab-ci: add coverity submissions to weekly scheduled CI

Jan Vaclav requested to merge jv/add-coverity-ci into main

Summary

Add a "coverity" stage to the pipeline, which submits a build to Coverit (the scheduls currently set to run every week).

Purpose

We currently submit builds to Coverity manually every now and then, but it would make sense to submit them more frequently and periodically, so that it can detect defects sooner.

Checklist

Please read https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/blob/main/CONTRIBUTING.md before opening the merge request. In particular, check that:

  • the subject for all commits is concise and explicative
  • the message for all commits explains the reason for the change
  • the source is properly formatted
  • any relevant documentation is up to date
  • you have added unit tests if applicable
  • the NEWS file is updated when the change deserves to be mentioned, for example for new features, behavior changes, API deprecations, etc.

Merge request reports