Add coverity push script#9051
Closed
paul-elliott-arm wants to merge 1 commit intoMbed-TLS:developmentfrom
Closed
Conversation
Signed-off-by: Paul Elliott <paul.elliott@arm.com>
| @@ -0,0 +1,454 @@ | |||
| #!/usr/bin/env python3 | |||
Contributor
There was a problem hiding this comment.
We're going to run this script at least on both tf-psa-crypto and mbedtls, and possibly on LTS branches. So it belongs in mbedtls-test or mbedtls-framework. Probably mbedtls-test since this isn't something we normally run manually?
Member
Author
There was a problem hiding this comment.
I was in discussion with Bence about whether or not this belonged in mbedtls-test anyway. Given it won't pass on Ubuntu16.04, I think that its probably a good idea to move it there, but need to have a quick word with Bence first (he's not in today)
Member
Author
|
Closing, as moving to mbedtls-test here |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
This is the script to allow us to push coverity builds from Jenkins (or anyone's machine come to that)
Functionality is documented within the script, but to test:
either:
or
The token can be found from the coverity web interface, and for the email address I would use your own email address for now (email address is unfortunately compulsary). Conversations are ongoing about which address to use for notifications in the future, the notification email will look like this:
Should new defects be found, another email will be generated, but this will go to the whole team (this is specified within coverity itself)
WARNING - the mbedtls directory specified will be switched to the latest version of the branch specified, any outstanding differences will cause the script to fail.
PR checklist
Please tick as appropriate and edit the reasons (e.g.: "backport: not needed because this is a new feature")
provided, ornot required (script for CI and maintainers only)done, ornot required (Script will only basically be run on development)done, ornot required (Script will only basically be run on development)provided, ornot required (CI script, CI runs will be tested, but other than that we can't test.)