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: [email protected]
For additional commands, e-mail: [email protected]
