Aufgrund einer Wartung wird GitLab am 25.01 zwischen 8:00 und 9:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 25.01 between 8:00 and 9:00 am.

Merge branch 'development' into 'master'

Merge branch development into master

See merge request !42
6 jobs for master in 9 minutes and 36 seconds (queued for 8 seconds)
Status Name Job ID Coverage
  Build
passed prepare #1798267
docker

00:00:10

 
  Test
passed lint #1798271
docker

00:00:44

passed test-prerequisites #1798268
docker

00:03:19

passed unittest-gurobi #1798269
docker

00:04:20

passed unittest-scip #1798270
docker

00:08:51

 
  Deploy
passed doc #1798272
docker

00:00:34