Commit aea0ed8b by FritzFlorian

Fix: thread sanitizer result not picked up correctly in CI.

parent db8bd0b9
Pipeline #1089 failed with stages
in 2 minutes 45 seconds