diff options
| -rw-r--r-- | .github/workflows/tools.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml index ebc10a56..6baf1f03 100644 --- a/.github/workflows/tools.yml +++ b/.github/workflows/tools.yml @@ -84,7 +84,7 @@ jobs: -D BUILD_WERROR=ON \ -D INSTALL_ICD=ON \ -D BUILD_TESTS=ON \ - -D ENABLE_ADDRESS_SANITIZER=ON + -D ENABLE_ADDRESS_SANITIZER=OFF # Re-enable when github CI doesn't have fatal issues env: CC: ${{matrix.cc}} CXX: ${{matrix.cxx}} |