Makefile: Update old Travis CI references

Travis is no more.
aureliojargas · Oct 20, 2022 · c3adf37 · c3adf37
1 parent d65fcbe
commit c3adf37
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,5 +1,5 @@
-# Developer workflow: run locally the same commands Travis will run in
-# the CI. See the .travis.yml file for the list of commands.
+# Developer workflow: run locally the same commands the CI will run.
+# See the .github/workflows/check.yml file for the list of commands.
 #
 # By default, the linting and testing targets are run inside the
 # clitest-dev Docker container. To run them directly on the host,