Merge branch 'new_CI' into 'master'

New CI

See merge request !1
2 jobs for master in 29 seconds (queued for 2 seconds)