Commit 833a34c8 authored by Daniel Seybold's avatar Daniel Seybold

Merge branch 'master' of omi-gitlab.e-technik.uni-ulm.de:ds/db-evaluator-colosseum

parents 77d5ffad 62093fc1
Pipeline #14416 passed with stage
in 10 minutes and 36 seconds