Merge branch 'features/docker' into 'develop'

Features/docker

See merge request !82
4 jobs for develop in 9 minutes and 15 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #94797
build

00:03:21

 
  Test
passed #94798
lint

00:01:55

passed #94799
test

00:02:10

 
  Release
passed #94800
dind
docker

00:03:42