GitHub user jdanekrh opened a pull request: https://github.com/apache/qpid-proton/pull/133
NO-JIRA branch for automated periodic Coverity Scan runs This commit could be added as a new branch. Then, TravisCI can be set up to build it daily (or weekly). What it does is that it 1) checks out the current master branch 2) builds it under the Coverity tool 2) submits the build to Coverity Scan The `COVERITY_SCAN_TOKEN` would need to be replaced with a correct one. The new branch would need to be created. You can merge this pull request into a Git repository by running: $ git pull https://github.com/jdanekrh/qpid-proton jd_coverity Alternatively you can review and apply these changes as the patch at: https://github.com/apache/qpid-proton/pull/133.patch To close this pull request, make a commit to your master/trunk branch with (at least) the following in the commit message: This closes #133 ---- commit b2df20e39fb21beabdd976a2a22849a1d4e95949 Author: Jiri Danek <jdanek@...> Date: 2017-12-24T23:05:16Z NO-JIRA branch for automated periodic Coverity Scan runs This commit could be added as a new branch. Then, TravisCI can be set up to build it daily (or weekly). What it does is that it 1) checks out the current master branch 2) builds it under the Coverity tool 2) submits the build to Coverity Scan The `COVERITY_SCAN_TOKEN` would need to be replaced with a correct one. ---- --- --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@qpid.apache.org For additional commands, e-mail: dev-h...@qpid.apache.org