diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9cfc4ad1fe..06181950f3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -205,6 +205,7 @@ jobs: # See https://github.com/google/sanitizers/issues/1353 if fgrep -q 'LeakSanitizer has encountered a fatal error' test.out; then echo '+++ Rerunning the tests once again after LeakSanitizer crash +++' + unset rc ./test || rc=$? fi fi