test: remove flaky test case

tests/lean/Process.lean

diff --git a/tests/lean/Process.lean b/tests/lean/Process.lean
index b2107c2..147917c 100644
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@@ -8,12 +8,8 @@
   child.wait
 
 #eval usingIO do
-  let child ← spawn { cmd := "sh", args := #["-c", "echo hi!"] };
-  child.wait
-
-#eval usingIO do
   let child ← spawn { cmd := "sh", args := #["-c", "echo ho!"], stdout := Stdio.piped };
-  discard $ child.wait;
+  child.wait >>= IO.println;
   child.stdout.readToEnd
 
 #eval usingIO do
@@ -53,10 +49,12 @@
     cmd := "lean",
     args := #["--stdin"]
     stdin := IO.Process.Stdio.piped
+    stdout := IO.Process.Stdio.piped
   }
   let (stdin, lean) ← lean.takeStdin
   stdin.putStr "#exit\n"
-  lean.wait
+  let _ ← lean.wait
+  lean.stdout.readToEnd
 
 #eval usingIO do
   let child ← spawn { cmd := "sh", args := #["-c", "cat"], stdin := .piped, stdout := .piped }

tests/lean/Process.lean.expected.out

diff --git a/tests/lean/Process.lean.expected.out b/tests/lean/Process.lean.expected.out
index 5d186fa..aefb784 100644
--- a/tests/lean/Process.lean.expected.out
+++ b/tests/lean/Process.lean.expected.out
@@ -1,5 +1,4 @@
 1
-hi!
 0
 "ho!\n"
 "hu!\n"
@@ -8,8 +7,7 @@
 100000
 0
 0
-<stdin>:1:0: warning: using 'exit' to interrupt Lean
 0
-0
+"<stdin>:1:0: warning: using 'exit' to interrupt Lean\n"
 none
 some 0