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 <[email protected]>
This commit is contained in:
Paul Elliott
2022-05-06 14:10:42 +01:00
parent 9c4f159f75
commit 211c69dab8
+1 -1
View File
@@ -49,7 +49,7 @@ addons:
- gnutls-bin
coverity_scan:
project:
name: "Mbed-TLS/mbedtls"
name: "ARMmbed/mbedtls"
notification_email: [email protected]
build_command_prepend:
build_command: make