Merge branch 'development' into 'master'

Update .gitlab-ci.yml

See merge request !1
5 jobs for master in 50 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Setup
passed #81097
setup

00:00:15

 
  Build
passed #81099
pages:master

00:00:21

passed #81098
pdf

00:00:25

 
  Deploy
passed #81100
deploy

00:00:09

 
  Clean
manual #81101
allowed to fail manual
clean