Fix generartion of docker images for the dev branch

4 jobs for rafoo@docker_on_dev in 13 minutes and 31 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #632030105
coq

00:12:02

15.53%
passed #632030102
coq:8.8

00:10:38

passed #632030103
coq:8.9

00:10:24

passed #632030108
test:docker

00:13:31