diff options
Diffstat (limited to 'web/input')
-rw-r--r-- | web/input/development.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/web/input/development.md b/web/input/development.md index e6c2f7e..36afb0b 100644 --- a/web/input/development.md +++ b/web/input/development.md | |||
@@ -27,7 +27,7 @@ introduction][git-intro] or [some other Git documentation][git-ref], first. | |||
27 | ### Integration Tests | 27 | ### Integration Tests |
28 | 28 | ||
29 | Our development workflow includes [continuous integration | 29 | Our development workflow includes [continuous integration |
30 | tests][travis-project] hosted by [Travis CI][travis] and [static code | 30 | tests][github-ci-actions] hosted by [GitHub Actions][github-actions] and [static code |
31 | analysis][coverity-project] performed by [Coverity Scan][coverity]. | 31 | analysis][coverity-project] performed by [Coverity Scan][coverity]. |
32 | 32 | ||
33 | * Travis CI build status: ![Build Status master][master-img]{: .travis } | 33 | * Travis CI build status: ![Build Status master][master-img]{: .travis } |
@@ -61,8 +61,8 @@ platforms, the results can be [viewed online][tests]. | |||
61 | [coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric" | 61 | [coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric" |
62 | [libtap]: http://jc.ngo.org.uk/trac-bin/trac.cgi/wiki/LibTap "LibTap Homepage" | 62 | [libtap]: http://jc.ngo.org.uk/trac-bin/trac.cgi/wiki/LibTap "LibTap Homepage" |
63 | [dev-faq]: doc/faq/#development "Development FAQs" | 63 | [dev-faq]: doc/faq/#development "Development FAQs" |
64 | [travis]: https://travis-ci.org/ "Travis CI" | 64 | [github-actions]: https://docs.github.com/en/actions "GitHub Docs - GitHub Actions" |
65 | [travis-project]: https://travis-ci.org/monitoring-plugins/monitoring-plugins "Monitoring Plugins at Travis CI" | 65 | [github-ci-actions]: https://github.com/monitoring-plugins/monitoring-plugins/actions "Monitoring Plugins - Github Workflows" |
66 | [coverity]: https://scan.coverity.com/ "Coverity Scan" | 66 | [coverity]: https://scan.coverity.com/ "Coverity Scan" |
67 | [coverity-project]: https://scan.coverity.com/projects/1435 "Monitoring Plugins at Coverity Scan" | 67 | [coverity-project]: https://scan.coverity.com/projects/1435 "Monitoring Plugins at Coverity Scan" |
68 | [tests]: tests.html "Test Results" | 68 | [tests]: tests.html "Test Results" |