Closed desilinguist closed 3 years ago
Now that we have switched from Travis CI to Gitlab CI, we should scrub the codebase (particularly, the documentation) and replace all mentions of Travis with Gitlab.
Now that we have switched from Travis CI to Gitlab CI, we should scrub the codebase (particularly, the documentation) and replace all mentions of Travis with Gitlab.