Another update to .gitlab-ci.yml file.

8 jobs for master in 12 minutes and 12 seconds (queued for 8 seconds)
Status Name Job ID Coverage
  Build
passed prepare #1799782
docker

00:00:19

failed prepare #1799726
docker

00:00:07

failed prepare #1799720
docker

00:00:07

 
  Test
passed lint #1799724
docker

00:00:42

passed test-prerequisites #1799721
docker

00:03:14

passed unittest-gurobi #1799722
docker

00:04:10

passed unittest-scip #1799723
docker

00:08:43

 
  Deploy
passed docs #1799725
docker

00:03:08