Merge branch 'dev-cloud' into 'master'

Dev cloud See merge request !4
Status Job ID Name Coverage
  Install
manual #135946
civ_base allowed to fail manual
install
 
  Package
manual #135947
civ_base allowed to fail manual
package
 
  Push
manual #135948
civ_base allowed to fail manual
push