Commit 829b6757 by Florian Fritz

Merge branch 'setup-ci' into 'master'

Fix CI Setup

See merge request !1
parents a1256f23 a1a7481f
Pipeline #1097 passed with stages
in 1 minute 33 seconds