need to ignore (thread) leaks

Author: RalfJung

ci-test.sh

@@ -70,8 +70,9 @@ std)
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
     done
+    # "sleep" has a thread leak that we have to ignore
     echo "::group::Testing remaining std (except for $SKIP)"
-    MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-permissive-provenance" \
+    MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-permissive-provenance" \
         ./run-test.sh std --lib --tests \
         -- $(for M in $CORE; do echo "--skip $M "; done) $(for M in $SKIP; do echo "--skip $M "; done) \
         2>&1 | ts -i '%.s  '