Bug fix in Dockerfile_deploy

7 jobs for feature-remove-old-numeric in 17 minutes and 58 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Ci
passed ci:osx #11681
macos10.13

00:13:00

passed ci:ubuntu_xenial #11680
docker sci ubuntu

00:05:11

passed ci:windows #11682
windows10

00:06:23

 
  Deploy
passed deploy:osx #11684
macos10.13

00:04:32

passed deploy:ubuntu_xenial #11689
ubuntu sci docker

00:00:24

passed deploy:windows #11685
windows10

00:02:54

passed deploy:ubuntu_xenial #11683
docker sci ubuntu

00:00:51