Disable asan (#438)

CI started segfaulting randomly with no source changes.
SleipnirGroup · Mar 14, 2024 · a53138f · a53138f
1 parent 329028f
commit a53138f
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/sanitizers.yml b/.github/workflows/sanitizers.yml
@@ -13,9 +13,10 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          - name: asan
-            cmake-flags: -DCMAKE_BUILD_TYPE=Asan -DBUILD_PYTHON=OFF
-            ctest-env:
+          # FIXME: Asan started segfaulting randomly with no source changes
+          #- name: asan
+          #  cmake-flags: -DCMAKE_BUILD_TYPE=Asan -DBUILD_PYTHON=OFF
+          #  ctest-env:
           # tsan takes a long time, and we don't currently use threading
           #- name: tsan
           #  cmake-flags: -DCMAKE_BUILD_TYPE=Tsan -DBUILD_PYTHON=OFF