Merge branch 'testing' into 'devel'

Merge testing into master

See merge request !6
1 job for devel in 21 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
failed #4366
docker
build

00:00:21

 
Name Stage Failure
failed
build Test
No job log