Oops, forgot Dockerfile in previous commit

2 jobs for master in 1 minute and 43 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Docker Build
passed #13198
docker_build

00:00:58

 
  Release
passed #13199
release

00:00:45