Merge branch 'wip/dueno/gitlab-ci-fixes' into 'master'

.gitlab-ci.yml: install diffutils

See merge request !50
7 jobs for master in 9 minutes and 48 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #625418
fedora:asan

00:09:24

passed #625420
fedora:coverage

00:03:28

69.8%
passed #625419
fedora:ubsan

00:08:55

passed #625417
fedora:Werror

00:03:09

 
  Deploy
passed #625421
pages

00:00:23

failed pages:deploy

00:00:00

failed pages:deploy

00:00:05