ci : re-enable sanitizer runs (#7358)

* Revert "ci : temporary disable sanitizer builds (#6128)"

This reverts commit 4f6d1337ca.

* ci : trigger
This commit is contained in:
Georgi Gerganov 2024-05-18 18:55:54 +03:00 committed by GitHub
parent 511182eabb
commit 059031b8c4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 39 additions and 38 deletions

View file

@ -32,13 +32,14 @@ jobs:
strategy:
matrix:
# TODO: temporary disabled due to linux kernel issues
#sanitizer: [ADDRESS, THREAD, UNDEFINED]
sanitizer: [UNDEFINED]
sanitizer: [ADDRESS, THREAD, UNDEFINED]
build_type: [Debug]
include:
- build_type: Release
sanitizer: ""
- build_type: Debug
sanitizer: THREAD
disabled_on_pr: true
fail-fast: false # While -DLLAMA_SANITIZE_THREAD=ON is broken
steps: