From e4d6c00aa2cc1ad794f57cdae4eeee9878f14f0a Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Wed, 25 May 2022 17:48:03 +0000
Subject: [PATCH] Run tests for ui_test together with miri test

---
 miri | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/miri b/miri
index 6a809b74356..3846eb795a4 100755
--- a/miri
+++ b/miri
@@ -134,7 +134,8 @@ test|test-debug|bless|bless-debug)
     esac
     # Then test, and let caller control flags.
     # Only in root project as `cargo-miri` has no tests.
-    exec cargo test $CARGO_BUILD_FLAGS "$@"
+    cargo test $CARGO_BUILD_FLAGS "$@"
+    cargo test --manifest-path ui_test/Cargo.toml
     ;;
 run|run-debug)
     # Scan for "--target" to set the "MIRI_TEST_TARGET" env var so