Commit 2fed7e2e authored Oct 28, 2018 by Andreas Klöckner

Merge branch 'titan-v-ci' into 'master'

Add a Titan V CI job

See merge request !59