CI is broken since we moved to gitlab
We need to adjust the Travis CI code to run on gitlab CI instead.
@craftyguy: would you like to take a look at this when you have time?
We need to adjust the Travis CI code to run on gitlab CI instead.
@craftyguy: would you like to take a look at this when you have time?