From 2dfaf55ad47160b686217eb16fa6100bb062bbda Mon Sep 17 00:00:00 2001
From: Max Lang <17551908+just-max@users.noreply.github.com>
Date: Sat, 9 Sep 2023 17:56:10 +0200
Subject: [PATCH] test-runner: rename "probe" task which actually checks
 top-level defs

---
 src/test-runner/std_task.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/test-runner/std_task.ml b/src/test-runner/std_task.ml
index 7ef7d6d..496aa9a 100644
--- a/src/test-runner/std_task.ml
+++ b/src/test-runner/std_task.ml
@@ -259,7 +259,9 @@ let std_test cfg = group ~label:"test" @@ of_list [
       subprocess_options ()
         ~timeout:(P_run.timeout (timeout_for cfg `Probe)))
     ~root:"tests/" "exec" ~args:["--no-build"; "--"; "test/test.exe"]
-  |> ignore |> with_ ~label:"probe";
+  |> ignore |> with_ ~label:"top_level";
+  (* note: the 'probe' name here is unrelated to the
+      partial signature checking probe below *)
 
   (* run the test! *)
   dune cfg