diff options
-rw-r--r-- | .github/workflows/ci-pipeline.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci-pipeline.yml b/.github/workflows/ci-pipeline.yml index a0540262e..c03adb711 100644 --- a/.github/workflows/ci-pipeline.yml +++ b/.github/workflows/ci-pipeline.yml @@ -453,7 +453,7 @@ jobs: strategy: fail-fast: false matrix: - flags: ['-fsanitize=address'] + flags: ['-fsanitize=address,undefined -fno-sanitize-recover=all'] steps: - uses: actions/checkout@v4 - run: sudo docker run -i -v `pwd`:/odp --privileged --shm-size 8g -e CC="${CC}" -e ARCH="${ARCH}" |