Merge branch 'build-solving_docker_issues' into 'develop'

Build solving docker issues

See merge request !50
12 jobs for develop in 22 minutes and 34 seconds (queued for 1 second)
Status Name Job ID Coverage
  Docker Pre Clean
passed docker_pre_clean #26138
docker sci ubuntu

00:00:16

 
  Ci
passed ci:osx #26142
sci osx-10.13

00:09:56

passed ci:ubuntu_bionic #26141
docker sci ubuntu

00:06:53

passed ci:ubuntu_trusty #26139
docker sci ubuntu

00:14:18

passed ci:ubuntu_xenial #26140
docker sci ubuntu

00:07:36

passed ci:windows #26143
sci windows-10

00:04:21

 
  Deploy
failed deploy:osx #26147
sci osx-10.13

00:03:08

passed deploy:ubuntu_bionic #26146
docker sci ubuntu

00:06:53

passed deploy:ubuntu_trusty #26144
docker sci ubuntu

00:06:59

passed deploy:ubuntu_xenial #26145
docker sci ubuntu

00:06:59

passed deploy:windows #26148
sci windows-10

00:04:34

 
  Docker Post Clean
failed docker_post_clean #26149
docker sci ubuntu allowed to fail

00:00:36

 
Name Stage Failure
failed
docker_post_clean Docker Post Clean
No job log
failed
deploy:osx Deploy
No job log