Merge branch 'dev' into dev-slice

This commit is contained in:
daanx 2023-04-17 12:24:19 -07:00
commit 61fc830014

View File

@ -108,11 +108,12 @@ jobs:
CXX: clang++
BuildType: debug-ubsan-clang
cmakeExtraArgs: -DCMAKE_BUILD_TYPE=Debug -DMI_DEBUG_FULL=ON -DMI_DEBUG_UBSAN=ON
Debug TSAN Clang++:
CC: clang
CXX: clang++
BuildType: debug-tsan-clang-cxx
cmakeExtraArgs: -DCMAKE_BUILD_TYPE=Debug -DMI_USE_CXX=ON -DMI_DEBUG_TSAN=ON
# Disable for now as it times out on the azure build machines
# Debug TSAN Clang++:
# CC: clang
# CXX: clang++
# BuildType: debug-tsan-clang-cxx
# cmakeExtraArgs: -DCMAKE_BUILD_TYPE=Debug -DMI_USE_CXX=ON -DMI_DEBUG_TSAN=ON
steps:
- task: CMake@1
@ -121,7 +122,7 @@ jobs:
cmakeArgs: .. $(cmakeExtraArgs)
- script: make -j$(nproc) -C $(BuildType)
displayName: Make
- script: ctest --verbose --timeout 600
- script: ctest --verbose --timeout 180
workingDirectory: $(BuildType)
displayName: CTest
# - upload: $(Build.SourcesDirectory)/$(BuildType)