-
Dridi Boukelmoune authored
It turns out there was no sanitizer coverage before catching up with the circleci changes from #4119 and there are leaks that may legitimately fail the build. Until we get a chance to work on those leaks, we adopt status quo and return to the previous (lack of) coverage.
f0d0ab75