Merge pull request #234 from eseiler/infra/sanitizer

[INFRA] Fix sanitizer
seqan · Sep 25, 2024 · f85154d · f85154d
2 parents 73dd737 + 697efc5
commit f85154d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci_sanitizer.yml b/.github/workflows/ci_sanitizer.yml
@@ -15,7 +15,6 @@ concurrency:
 
 env:
   TZ: Europe/Berlin
-  ASAN_OPTIONS: strict_string_checks=1:detect_stack_use_after_return=1:check_initialization_order=1:strict_init_order=1:detect_leaks=1
   TSAN_OPTIONS: ignore_noninstrumented_modules=1
   UBSAN_OPTIONS: print_stacktrace=1
 
@@ -28,6 +27,8 @@ jobs:
     name: ${{ matrix.name }} ${{ matrix.build_type }} ${{ matrix.os }}
     runs-on: ${{ matrix.os }}
     if: github.repository_owner == 'seqan' || github.event_name == 'workflow_dispatch'
+    env:
+      ASAN_OPTIONS: strict_string_checks=1:detect_stack_use_after_return=1:check_initialization_order=1:strict_init_order=1:detect_leaks=${{ contains(matrix.os, 'macos') && '0' || '1' }}
     strategy:
       fail-fast: false
       matrix: