Merge branch 'new-dev-cluster' into 'v0.10.0'

Adapted ci for new dev cluster.

See merge request !257
17 jobs for v0.10.0 in 43 minutes and 20 seconds (queued for 3 seconds)