test-runner: rename "probe" task which actually checks top-level defs

just-max · Sep 9, 2023 · 2dfaf55 · 2dfaf55
1 parent 7f2fcfc
commit 2dfaf55
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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