Refine docker-ci

Signed-off-by: Adrian C. Hinrichs <adrian.hinrichs@rwth-aachen.de>
1 job for docker in 3 minutes and 2 seconds
latest
Status Job ID Name Coverage
  Build
passed #315678
build testing

00:03:02