Merge branch 'feature/new-checkers' into 'develop'
Passed
Lange, Dr. Herbert
created pipeline for commit 326d6784
, finished
1 related merge request: !48 add feature to load criteria file from resource and place all criteria files...
4 minutes 39 seconds, queued for 2 seconds