Skip to content

Remove Travis CI

Juan A. Suárez Romero requested to merge (removed):remove-travis into master

Now that we can use GitLab CI, we do not require Travis CI anymore.

Merge request reports