tree feaa433f823c96b24b6562d81c5414df22c7686e
parent 2d89b4059df160085e440ef0ebdca1dd64c7063b
author Paul Elliott <paul.elliott@arm.com> 1651842369 +0100
committer Paul Elliott <paul.elliott@arm.com> 1651842369 +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>