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 'extend_stimuliController' into 'master'

Feature: Add stimuli dynamically for crowd guiding strategies

See merge request !162
10 jobs for master in 131 minutes and 45 seconds (queued for 1 second)
Status Name Job ID Coverage
  Unit Test
passed run_unit_tests_on_linux #2713515
linux

00:02:25

24.0%
passed run_unit_tests_on_windows #2713516
windows

00:05:08

24.0%
 
  Integration Test
passed run_scenario_files_on_linux #2713517
linux

01:14:16

passed run_scenario_files_on_windows #2713518
windows

01:10:32

 
  Seed Test
passed run_seed_test_on_linux #2713519
linux

00:47:48

passed run_seed_test_on_windows #2713520
windows

00:46:35

 
  Deploy
manual deploy_branch_on_linux #2713522
linux allowed to fail manual
manual deploy_branch_on_windows #2713524
windows allowed to fail manual
passed deploy_master_on_linux #2713521
linux

00:02:31

passed deploy_master_on_windows #2713523
windows

00:04:28