Replace Travis CI with GitHub Actions

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.
 ### Integration Tests
 
 Our development workflow includes [continuous integration
-tests][travis-project] hosted by [Travis CI][travis] and [static code
+tests][github-ci-actions] hosted by [GitHub Actions][github-actions] and [static code
 analysis][coverity-project] performed by [Coverity Scan][coverity].
 
 * Travis CI build status: ![Build Status master][master-img]{: .travis }
@@ -61,8 +61,8 @@ 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"
-[travis]: https://travis-ci.org/ "Travis CI"
-[travis-project]: https://travis-ci.org/monitoring-plugins/monitoring-plugins "Monitoring Plugins at Travis CI"
+[github-actions]: https://docs.github.com/en/actions "GitHub Docs - GitHub Actions"
+[github-ci-actions]: https://github.com/monitoring-plugins/monitoring-plugins/actions "Monitoring Plugins - Github Workflows"
 [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"