Merge branch 'master' into 'master'

Full build pipeline

See merge request !21
5 jobs for master in 47 minutes and 27 seconds (queued for 2 seconds)