Merge branch 'ci' into 'master'

Ci

See merge request f00f/geike-arnaert!11
1 job for master in 5 minutes and 47 seconds
Status Name Job ID Coverage
  Publish
passed publish #3009

00:05:47