Skip to content
GitLab
Explore
Sign in
GNOME
grilo
Merge requests
!18
The source project of this merge request has been removed.
Remove Travis CI
Juan A. Suárez Romero
requested to merge
(removed):remove-travis
into
master
Aug 08, 2018
Overview
1
Pipelines
0
Changes
1
Expand
Now that we can use GitLab CI, we do not require Travis CI anymore.
Merge request reports