Branch: refs/heads/coverity
Home: https://github.com/qemu/qemu
Commit: 9173d5d084182d2d7c65bfc00f9a687ade90b938
https://github.com/qemu/qemu/commit/9173d5d084182d2d7c65bfc00f9a687ade90b938
Author: Paolo Bonzini <pbonz...@redhat.com>
Date: 2024-03-05 (Tue, 05 Mar 2024)
Changed paths:
M .gitlab-ci.d/base.yml
M .gitlab-ci.d/buildtest.yml
M .gitlab-ci.d/opensbi.yml
Log Message:
-----------
gitlab-ci: add manual job to run Coverity
Add a job that can be run, either manually or on a schedule, to upload
a build to Coverity Scan. The job uses the run-coverity-scan script
in multiple phases of check, download tools and upload, in order to
avoid both wasting time (skip everything if you are above the upload
quota) and avoid filling the log with the progress of downloading
the tools.
The job is intended to run on a scheduled pipeline run, and scheduled
runs will not get any other job. It requires two variables to be in
GitLab CI, COVERITY_TOKEN and COVERITY_EMAIL. Those are already set up
in qemu-project's configuration as protected and masked variables.
Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
To unsubscribe from these emails, change your notification settings at
https://github.com/qemu/qemu/settings/notifications
