Update artifacts

Author: stdlib-bot

repl/help/coverage.ndjson

@@ -313,3 +313,4 @@
 [95,95,100,7,7,100,1,1,100,95,95,100,"c31a50356da4287c17c7202bf4ba2b7a2c936081","2025-07-10 23:02:20 -0400"]
 [95,95,100,7,7,100,1,1,100,95,95,100,"402008089ecb5da1b1e617345b907d3721cd1ed9","2025-07-13 22:23:50 -0500"]
 [95,95,100,7,7,100,1,1,100,95,95,100,"91644d75ed97a53e422349d58c0d270e7f796347","2025-07-14 21:22:57 -0700"]
+[95,95,100,7,7,100,1,1,100,95,95,100,"518f8152adc591596d6e87f784c7e7ee462181bb","2025-07-15 21:51:06 -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 2025-07-15T04:24:16.448Z
+                at 2025-07-16T04:52:07.037Z
             </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 2025-07-15T04:24:16.448Z
+                at 2025-07-16T04:52:07.037Z
             </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 2025-07-15T04:24:16.448Z
+                at 2025-07-16T04:52:07.037Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>