Notice to GitKraken users: A vulnerability has been found in the SSH key generation of GitKraken versions 7.6.0 to 8.0.0 (https://www.gitkraken.com/blog/weak-ssh-key-fix). If you use GitKraken and have generated a SSH key using one of these versions, please remove it both from your local workstation and from your LRZ GitLab profile.

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

Merge branch 'issue#242' into 'master'

fix issue #242.

Closes #242

See merge request !66
11 jobs for master in 114 minutes and 28 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Unit Test
passed run_unit_tests_on_linux #539422
linux

00:01:20

19.0%
passed run_unit_tests_on_windows #539423
windows

00:03:19

19.0%
 
  Integration Test
passed run_scenario_files_on_linux #539424
linux

00:57:53

passed run_scenario_files_on_windows #539425
windows

01:03:15

 
  Seed Test
passed run_seed_test_on_linux #539426
linux

00:41:51

passed run_seed_test_on_windows #539427
windows

00:43:31

 
  Deploy
manual deploy_branch_on_linux #539429
linux allowed to fail manual
manual deploy_branch_on_windows #539431
windows allowed to fail manual
passed deploy_master_on_linux #539428
linux

00:01:02

passed deploy_master_on_windows #542663
windows

00:03:19

failed deploy_master_on_windows #539430
windows

00:02:33