mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-04-17 02:43:26 +00:00
Merge pull request #5814 from paul-elliott-arm/travis_project
Revert Coverity project name change in Travis
This commit is contained in:
commit
612615fa5e
@ -65,7 +65,7 @@ addons:
|
|||||||
- gnutls-bin
|
- gnutls-bin
|
||||||
coverity_scan:
|
coverity_scan:
|
||||||
project:
|
project:
|
||||||
name: "Mbed-TLS/mbedtls"
|
name: "ARMmbed/mbedtls"
|
||||||
notification_email: support-mbedtls@arm.com
|
notification_email: support-mbedtls@arm.com
|
||||||
build_command_prepend:
|
build_command_prepend:
|
||||||
build_command: make
|
build_command: make
|
||||||
|
Loading…
x
Reference in New Issue
Block a user