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,"1406a2f7f9617940bbadde2a5682cb7d810ee480","2025-12-03 22:36:17 +0530"]
+[311,311,100,21,21,100,4,4,100,311,311,100,"a18875096e593a96a78c7bdbc32dccacc46823df","2025-12-03 22:42:08 +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:08:30.412Z
+                at 2025-12-03T17:13:54.296Z
             </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:08:30.412Z
+                at 2025-12-03T17:13:54.296Z
             </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:08:30.412Z
+                at 2025-12-03T17:13:54.296Z
             </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:08:30.412Z
+                at 2025-12-03T17:13:54.296Z
             </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:08:30.412Z
+                at 2025-12-03T17:13:54.296Z
             </div>
         <script src="prettify.js"></script>
         <script>