diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6ef3bf4d..1f66b2cb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -73,7 +73,7 @@ jobs: - name: make run: make - name: make check - run: make check + run: MSAN_OPTIONS=exitcode=42 make check tsan: