ci: rename `travis` -> `ci` and modify CI docs#66

Merged

Sylvain303 merged 1 commit intodocopt:masterfrom agilgur5:ci-update-docs-with-gh-actions

Sep 17, 2022

+23-26

Commits on Sep 15, 2022

ci: rename travis -> ci and modify CI docs
agilgur5
committed