From fa3cad3e78ae78503194029997298638ddda2939 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 27 Aug 2026 23:51:18 +0200
Subject: [PATCH] make './run-test core' work with nextest

---
 run-test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-test.sh b/run-test.sh
index fbb200c..c824403 100755
--- a/run-test.sh
+++ b/run-test.sh
@@ -43,7 +43,7 @@ export CARGO_TARGET_DIR=$(pwd)/target
 if [[ -z "${USE_NEXTEST:-}" ]]; then
     CARGO_CMD="cargo miri test"
 else
-    CARGO_CMD="cargo miri nextest run"
+    CARGO_CMD="cargo miri nextest run --no-tests=warn"
 fi
 
 $CARGO_CMD --manifest-path "$MIRI_LIB_SRC/$CRATE/Cargo.toml" "$@"