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

[V1_14] Add strategy layer to allow crowd control

See merge request !138
10 jobs for master in 130 minutes and 12 seconds (queued for 1 second)
Status Name Job ID Coverage
  Unit Test
passed run_unit_tests_on_linux #1242038
linux

00:02:23

24.0%
passed run_unit_tests_on_windows #1242039
windows

00:04:01

24.0%
 
  Integration Test
passed run_scenario_files_on_linux #1242040
linux

01:15:26

passed run_scenario_files_on_windows #1242041
windows

01:10:14

 
  Seed Test
passed run_seed_test_on_linux #1242042
linux

00:47:25

passed run_seed_test_on_windows #1242043
windows

00:39:38

 
  Deploy
manual deploy_branch_on_linux #1242045
linux allowed to fail manual
manual deploy_branch_on_windows #1242047
windows allowed to fail manual
passed deploy_master_on_linux #1242044
linux

00:02:20

passed deploy_master_on_windows #1242046
windows

00:03:19