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>
This commit is contained in:
parent
2d89b4059d
commit
63d3debae0
@ -65,7 +65,7 @@ addons:
|
||||
- gnutls-bin
|
||||
coverity_scan:
|
||||
project:
|
||||
name: "Mbed-TLS/mbedtls"
|
||||
name: "ARMmbed/mbedtls"
|
||||
notification_email: support-mbedtls@arm.com
|
||||
build_command_prepend:
|
||||
build_command: make
|
||||
|
Loading…
Reference in New Issue
Block a user