Mike,
most coverity links reported by Jenkins are invalid
for example https://github.com/open-mpi/ompi/pull/593 points to
http://bgate.mellanox.com:8888/jenkins/job/gh-ompi-master-pr//ws/cov_build/all_535/output/errors/index.html
which does not exist (any more)
only the link of the most recently ran PR is available.
from an external point of view (and without any knowledge of how Jenkins
is configured), the root cause could be the coverity directory is inside
the workspace directory ( e.g.
http://bgate.mellanox.com:8888/jenkins/job/gh-ompi-master-pr//ws ) and
it seems this directory is recreated each time jenkins runs.
possible options could be to move ws/cov_build/all_<pr> to a permanent
location (and have jenkins report the new link) or not to remove
/jenkins/job/gh-ompi-master-pr//ws/cov_build when Jenkins starts a new job
could you please have a look ?
Cheers,
Gilles
