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

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

1 job for develop in 47 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #323846
unit_tests_with_coverage

00:00:47