trim arg whitespace

Author: aspeddro

scripts/DocTests.mjs

@@ -150,7 +150,9 @@ var values = match.values;
 
 var v = values["ignore-runtime-tests"];
 
-var ignoreRuntimeTests = v !== undefined ? v.split(",") : [];
+var ignoreRuntimeTests = v !== undefined ? v.split(",").map(function (s) {
+        return s.trim();
+      }) : [];
 
 prepareCompiler();
 

scripts/DocTests.res

@@ -167,7 +167,10 @@ let {Util.values: values} = Util.parseArgs({
 })
 
 let ignoreRuntimeTests = switch values->Dict.get("ignore-runtime-tests") {
-| Some(v) => v->String.split(",")
+| Some(v) =>
+  v
+  ->String.split(",")
+  ->Array.map(s => s->String.trim)
 | None => []
 }