Merge branch 'develop' of git.scc.kit.edu:rtsn/rtsn into develop

1 job for !42 with develop
detached
Status Name Job ID Coverage
  Unit Tests
failed unit_tests #424278

 
Name Stage Failure
failed
unit_tests Unit Tests Your runner is outdated, please upgrade your runner
No job log