From c13f6e9ea64d493290262e8ebbb25c902d8972bb Mon Sep 17 00:00:00 2001 From: Holger Weiss Date: Sun, 16 Feb 2014 23:07:36 +0100 Subject: development.md: Mention Coverity Scan Modify the wording regarding our continuous integration tests to also mention Coverity Scan. diff --git a/web/input/development.md b/web/input/development.md index 5981361..9bd128b 100644 --- a/web/input/development.md +++ b/web/input/development.md @@ -26,9 +26,9 @@ introduction][git-intro] or [some other Git documentation][git-ref], first. ### Integration Tests -We have integrated [continuous integration tests][ci-tests] into our -development workflow. This should ensure that we are aware of trivial build -problems. This service is kindly hosted by [Travis CI][travis-start]. +Our development workflow includes [continuous integration +tests][travis-project] hosted by [Travis CI][travis] and [static code +analysis][coverity-project] performed by [Coverity Scan][coverity]. * Travis CI build status ([master branch][master-branch]): ![Build Status master][master-img]{: .travis } * Travis CI build status ([maint branch][maint-branch]): ![Build Status maint][maint-img]{: .travis } @@ -66,8 +66,10 @@ platforms, the results can be [viewed online][tests]. [coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric" [libtap]: http://jc.ngo.org.uk/trac-bin/trac.cgi/wiki/LibTap "LibTap Homepage" [dev-faq]: doc/faq/#development "Development FAQs" -[ci-tests]: https://travis-ci.org/monitoring-plugins/monitoring-plugins "continuous integration tests" -[travis-start]: http://docs.travis-ci.com/user/getting-started/ "Travis CI" +[travis]: https://travis-ci.org/ "Travis CI" +[travis-project]: https://travis-ci.org/monitoring-plugins/monitoring-plugins "Monitoring Plugins at Travis CI" +[coverity]: https://scan.coverity.com/ "Coverity Scan" +[coverity-project]: https://scan.coverity.com/projects/1435 "Monitoring Plugins at Coverity Scan" [tests]: tests.html "Test Results" -- cgit v0.10-9-g596f