Update artifacts

Author: stdlib-bot

stats/base/dists/erlang/mgf/coverage.ndjson

@@ -1 +1 @@
-[311,311,100,21,21,100,4,4,100,311,311,100,"f82e277c8d8a57da1b949463c3ee25e01fb49ff3","2025-12-03 23:00:09 +0530"]
+[311,311,100,21,21,100,4,4,100,311,311,100,"68dc46994d3f6a0f20febf88d36f820d5a539372","2025-12-03 23:05:45 +0530"]

stats/base/dists/erlang/mgf/factory.js.html

@@ -307,7 +307,7 @@ <h1><a href="index.html">All files</a> factory.js</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-12-03T17:31:36.247Z
+                at 2025-12-03T17:37:31.495Z
             </div>
         <script src="prettify.js"></script>
         <script>

stats/base/dists/erlang/mgf/index.html

@@ -146,7 +146,7 @@ <h1>All files</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-12-03T17:31:36.247Z
+                at 2025-12-03T17:37:31.495Z
             </div>
         <script src="prettify.js"></script>
         <script>

stats/base/dists/erlang/mgf/index.js.html

@@ -235,7 +235,7 @@ <h1><a href="index.html">All files</a> index.js</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-12-03T17:31:36.247Z
+                at 2025-12-03T17:37:31.495Z
             </div>
         <script src="prettify.js"></script>
         <script>

stats/base/dists/erlang/mgf/main.js.html

@@ -352,7 +352,7 @@ <h1><a href="index.html">All files</a> main.js</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-12-03T17:31:36.247Z
+                at 2025-12-03T17:37:31.495Z
             </div>
         <script src="prettify.js"></script>
         <script>

stats/base/dists/erlang/mgf/native.js.html

@@ -319,7 +319,7 @@ <h1><a href="index.html">All files</a> native.js</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-12-03T17:31:36.247Z
+                at 2025-12-03T17:37:31.495Z
             </div>
         <script src="prettify.js"></script>
         <script>