merge from dev

This commit is contained in:
Daan 2024-06-03 21:31:36 -07:00
commit 64f3afdda4
6 changed files with 16 additions and 9 deletions

View file

@ -112,7 +112,7 @@ jobs:
CC: clang
CXX: clang++
BuildType: debug-tsan-clang-cxx
cmakeExtraArgs: -DCMAKE_BUILD_TYPE=Debug -DMI_USE_CXX=ON -DMI_DEBUG_TSAN=ON
cmakeExtraArgs: -DCMAKE_BUILD_TYPE=RelWithDebInfo -DMI_USE_CXX=ON -DMI_DEBUG_TSAN=ON
steps:
- task: CMake@1