Merge pull request #1139

This commit is contained in:
Valdis Vitolins
2022-03-31 21:15:23 +03:00
committed by GitHub
+1 -1
View File
@@ -73,7 +73,7 @@ jobs:
- name: make
run: make
- name: make check
run: make check
run: MSAN_OPTIONS=exitcode=42 make check
tsan: