Merge branch 'develop' into feature/19-level-datastructure

2 jobs for feature/19-level-datastructure in 1 minute and 49 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
failed build-clang #8696

00:00:54

failed build-gcc #8695

00:00:54

 
Name Stage Failure
failed
build-clang Build
No job log
failed
build-gcc Build
No job log