Update artifacts

Author: stdlib-bot

repl/help/coverage.ndjson

@@ -161,3 +161,4 @@
 [95,95,100,7,7,100,1,1,100,95,95,100,"f35fdd13e3fea642378db323489aef31b0d3612a","2024-07-13 00:40:59 -0700"]
 [95,95,100,7,7,100,1,1,100,95,95,100,"b184238b9400c26d444ba5e843002641702b58e5","2024-07-13 01:52:43 -0700"]
 [95,95,100,7,7,100,1,1,100,95,95,100,"6a106fb22401248973ca13b614a01712acbd5108","2024-07-13 14:33:22 -0700"]
+[95,95,100,7,7,100,1,1,100,95,95,100,"1dc058b58ad228b9b0d2ca29055a4243473bbddf","2024-07-13 16:37:19 -0700"]

repl/help/index.html

@@ -116,7 +116,7 @@ <h1><a href="../../../index.html">All files</a> repl/help/lib</h1>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2024-07-13T21:35:08.385Z
+                at 2024-07-13T23:38:57.830Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>

repl/help/index.js.html

@@ -190,7 +190,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/help
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2024-07-13T21:35:08.385Z
+                at 2024-07-13T23:38:57.830Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>

repl/help/main.js.html

@@ -235,7 +235,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/help
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2024-07-13T21:35:08.385Z
+                at 2024-07-13T23:38:57.830Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>