tree a0fd66286d34ece950a3aa4487cd703d7aa12a21
parent 9c4f159f750d9e44411c8979631e0a1c7360ed2c
author Paul Elliott <paul.elliott@arm.com> 1651842369 +0100
committer Paul Elliott <paul.elliott@arm.com> 1651842642 +0100

Revert Coverity project name change

Although Coverity have now changed their URL to point at the new
project, they did not change the project name, it would seem.

Signed-off-by: Paul Elliott <paul.elliott@arm.com>