From 0f9a474ed4b5b71eab2dfd77c6de0220396a5a11 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 28 Mar 2022 00:46:48 +0200
Subject: [PATCH] Make msan warnings fatal

Otherwise they will go unnoticed.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: