Merge branch 'break-legacy' into 'master'

Jenkinsfile: move the build type to the front

See merge request !102
1 job for master
in 17 seconds, using 0.0 compute credits, and was queued for 1 second