There is also a coverity plugin for Jenkins. Is there a reason we don't use it?Looks like coverity changed their website recently. When trying to run wget command it fails with 404 not found page.Do you know who wrote the job's script? We may need to change it but in order to get to different parts of the website a user/password is needed.On Mon, Jul 18, 2016 at 9:53 AM, Sharon Naftaly <snaftaly@redhat.com> wrote:I'll try to fix it asap.SharonOn Mon, Jul 18, 2016 at 8:59 AM, Sandro Bonazzola <sbonazzo@redhat.com> wrote:On Sun, Jul 17, 2016 at 2:57 PM, Barak Korren <bkorren@redhat.com> wrote:Hi Sharon,
The $subject job started failing and Eyal told me you worked on it
recently. I'm not sure your changed made it fail because I saw changes
by both you and Sandro.
Looks like it started failing after: http://jenkins.ovirt.org/job/ovirt-engine_master_coverity-analysis/jobConfigHistory/showDiffFiles?timestamp1=2016-07-04_15-55-39×tamp2=2016-07-12_12-17-29Anyway the problem with the jobs seems to be that the jenkins repo URL
was set to:
git:///jenkins.git
Instead of:
git://gerrit.ovirt.org/jenkins.git
I fixed this manually but it is still failing. Now it seems that it is
not getting the right thing from:
https://scan.coverity.com/download/linux-64
I can't find any docs about this when looking quickly at coverity`s
website, so I'm hoping you know more about this.
--
Barak Korren
bkorren@redhat.com
RHEV-CI Team
--Sandro Bonazzola
Better technology. Faster innovation. Powered by community collaboration.
See how it works at redhat.com