Fix wrong name for full Docker image.

4 jobs for master in 15 minutes and 9 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1129895
build_docker

00:09:56

passed #1129897
build_docker_full

00:10:39

failed #1129858
build_docker

00:15:03

failed #1129859
build_docker_full

00:19:32