Skip to content
Sign in

Changes

Started by timer
Started 12 hr ago
Queued 5 ms
Took 2 min 7 sec on build5-deb12build-ansible
ansible/coverity: upgrade to 2024.12.1

Related: OS#7005
Change-Id: If4f117adcaec67a79f5ee715e063621c7c897e57
ansible/roles/install-coverity/defaults/main.yml
Oliver Smith at
ansible/README: mention how to update coverity

Change-Id: Icab33640e0b8c62c5808d918efb6877bc1fdf1f6
ansible/README.md
Oliver Smith at