Commit a0c1bf3b authored by Daniel Gerhardt's avatar Daniel Gerhardt

Merge branch 'travis-ci' into 'master'

Update Travis CI config

See merge request !149
parents 702bf462 0a490605
Pipeline #29825 passed with stages
in 2 minutes and 32 seconds