[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2 2/2] gitlab-ci: add manual job to run Coverity
From: |
Daniel P . Berrangé |
Subject: |
Re: [PATCH v2 2/2] gitlab-ci: add manual job to run Coverity |
Date: |
Fri, 8 Mar 2024 14:58:14 +0000 |
User-agent: |
Mutt/2.2.12 (2023-09-09) |
On Fri, Mar 08, 2024 at 02:05:07PM +0100, Paolo Bonzini wrote:
> 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 <pbonzini@redhat.com>
> ---
> .gitlab-ci.d/base.yml | 4 ++++
> .gitlab-ci.d/buildtest.yml | 37 +++++++++++++++++++++++++++++++++++++
> .gitlab-ci.d/opensbi.yml | 4 ++++
> 3 files changed, 45 insertions(+)
Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
With regards,
Daniel
--
|: https://berrange.com -o- https://www.flickr.com/photos/dberrange :|
|: https://libvirt.org -o- https://fstop138.berrange.com :|
|: https://entangle-photo.org -o- https://www.instagram.com/dberrange :|