laforge uploaded patch set #3 to this change.

View Change

install-coverity: update to 2021.12

Starting in February 2022, coverity stopped to support the old
2019.03 version that we were using. Unfortunately that didn't
generate any e-mail notification to the project admins so it
remained undetected until now :(

What sucks is that the filename states 2021.12 but then the
actual directory created upon extraction is 2021.12.1, meaning
our ansible rule breaks. We have to rename the tarball to 2021.12.1
before running the playbook...

Change-Id: I950834cc2ad70979a53a563610bbc9feef1f5f20
---
M ansible/roles/install-coverity/defaults/main.yml
1 file changed, 1 insertion(+), 1 deletion(-)

git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/21/28421/3

To view, visit change 28421. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I950834cc2ad70979a53a563610bbc9feef1f5f20
Gerrit-Change-Number: 28421
Gerrit-PatchSet: 3
Gerrit-Owner: laforge <laforge@osmocom.org>
Gerrit-Reviewer: Jenkins Builder
Gerrit-MessageType: newpatchset