Commit 9b7110c7 authored by Martin Reinecke's avatar Martin Reinecke

Merge branch 'travis' into 'ducc0'

Add support for Travis CI

See merge request !26
parents d5d055bd e8180ad2
Pipeline #79981 passed with stages
in 14 minutes and 9 seconds