Update or drop Travis-CI
Update or drop Travis-CI config (since we're now using GitLab CI). Right now it's
not working
.
Edited
Aug 06, 2024
by
Silvio Rhatto