Enable reporting TSAN errors (#4539)

This commit is contained in:
Piotr Wójcik 2024-04-09 10:01:32 +02:00 committed by GitHub
commit 68496af33d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -15,8 +15,12 @@ jobs:
- { name: UBSAN, ignore_errors: false }
- { name: ASAN, ignore_errors: false, leak_check: false }
- { name: ASAN_INT, ignore_errors: true, leak_check: false }
- { name: TSAN, ignore_errors: true }
- { name: TSAN, ignore_errors: false }
- { name: LEAK, ignore_errors: true, leak_check: true }
exclude:
# Bug when running with TSAN: "ThreadSanitizer: CHECK failed: sanitizer_deadlock_detector"
- BACKEND: rocksdb
SANITIZER: { name: TSAN }
runs-on: ubuntu-22.04
env:
COMPILER: ${{ matrix.COMPILER }}
@ -72,7 +76,7 @@ jobs:
SANITIZER:
- { name: UBSAN, ignore_errors: false }
- { name: ASAN, ignore_errors: false }
- { name: TSAN, ignore_errors: true }
- { name: TSAN, ignore_errors: false }
runs-on: macos-14
env:
COMPILER: ${{ matrix.COMPILER }}