From 3e7f6562b54618380e4c49701ac8794cb81e35bf Mon Sep 17 00:00:00 2001
From: Juan Carlos <juancarlospaco@gmail.com>
Date: Thu, 27 Oct 2022 06:58:35 -0300
Subject: [PATCH] Documentation only, koch (#20665)

* Fix doc about Travis CI

* Rerun ci
---
 koch.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/koch.nim b/koch.nim
index 2597a3bb72..5828115a25 100644
--- a/koch.nim
+++ b/koch.nim
@@ -81,7 +81,7 @@ Boot options:
                            for bootstrapping
 
 Commands for core developers:
-  runCI                    runs continuous integration (CI), e.g. from travis
+  runCI                    runs continuous integration (CI), e.g. from Github Actions
   docs [options]           generates the full documentation
   csource -d:danger        builds the C sources for installation
   pdf                      builds the PDF documentation