10.12., 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Merge branch 'master' of https://gitlab.lrz.de/vadere/vadere

2 jobs for master in 66 minutes and 26 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #360107
unit_tests_with_coverage

00:00:53

24.0%
 
  Deploy
passed #360108
run_scenario_files

01:05:33