diff --git a/ci/nightly-build.sh b/ci/nightly-build.sh index 15254f6e64..8a3c2dbacf 100755 --- a/ci/nightly-build.sh +++ b/ci/nightly-build.sh @@ -34,7 +34,7 @@ profiles="source-javadoc" if [ "${ARM64}" == "true" ]; then profiles="${profiles},arm64" USE_GDS="OFF" - USE_SANITIZER="OFF" + USE_SANITIZER="ON" BUILD_FAULTINJ="OFF" fi