Johannes Blühdorn

Target branch is `master`, you probably wanted it to be `develop`?

> @jblueh are the tsan tests using a special version of CoDi? > > ``` > Note: switching to 'refs/pull/2158/merge'. > > You are in 'detached HEAD' state. You can...

@alecappiello develop is updated with a fix for the thread sanitizer issue, it should fix your CI pipeline once you merge it into your branch