Try to optimize CI sanitizer checks#80

dietmarkuehl merged 6 commits intobemanproject:mainbemanproject/execution:mainfrom

ClausKlein:developClausKlein/execution:developCopy head branch name to clipboard