Merge pull request #5122 from rjbs/travis-is-gone

docs: stop mentioning Travis CI
cyrusimap · Nov 7, 2024 · e101315 · e101315
2 parents c95a9ec + 236bbf1
commit e101315
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/docsrc/imap/developer/cyrusworks.rst b/docsrc/imap/developer/cyrusworks.rst
@@ -5,13 +5,12 @@ Cyrus Works
 About Cyrus Works
 =================
 
-`Cyrus Works <https://cyrus.works>`_ is a domain redirection to the Cyrus
-IMAP project's Travis CI dashboard.
+`Cyrus Works <https://cyrus.works>`_ is a domain redirection to the Cyrus IMAP
+project's GitHub Actions dashboard.
 
-Whenever the Cyrus team push changes to
-`the project repository <https://github.com/cyrusimap/>`_, Travis CI
-(via github integration) automatically builds the new commits.  This also
-applies to pull requests submitted through the GitHub site.
+Whenever the Cyrus team push changes to `the project repository
+<https://github.com/cyrusimap/>`_, GitHub Actions automatically build the new
+commits.  This also applies to pull requests submitted through the GitHub site.
 
 How it works
 ============