Update artifacts

stdlib-bot · stdlib-bot · commit 468d619510e9 · 2025-12-15T05:14:40.000Z
diff --git a/error/tools/database/coverage.ndjson b/error/tools/database/coverage.ndjson
@@ -1 +1 @@
-[85,85,100,3,3,100,1,1,100,85,85,100,"97ad0611b38402363d9c1d9e031e75d696788502","2025-12-14 00:30:44 +0000"]
+[85,85,100,3,3,100,1,1,100,85,85,100,"6952142b9ee179fb300de5951811b1e9d4c582a8","2025-12-15 05:13:03 +0000"]
diff --git a/error/tools/database/index.html b/error/tools/database/index.html
@@ -116,7 +116,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-14T00:31:54.888Z
+                at 2025-12-15T05:14:01.463Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/database/index.js.html b/error/tools/database/index.js.html
@@ -190,7 +190,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-14T00:31:54.888Z
+                at 2025-12-15T05:14:01.463Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/database/main.js.html b/error/tools/database/main.js.html
@@ -205,7 +205,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-14T00:31:54.888Z
+                at 2025-12-15T05:14:01.463Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/id2pkg/coverage.ndjson b/error/tools/id2pkg/coverage.ndjson
@@ -1 +1 @@
-[95,95,100,7,7,100,1,1,100,95,95,100,"97ad0611b38402363d9c1d9e031e75d696788502","2025-12-14 00:30:44 +0000"]
+[95,95,100,7,7,100,1,1,100,95,95,100,"6952142b9ee179fb300de5951811b1e9d4c582a8","2025-12-15 05:13:03 +0000"]
diff --git a/error/tools/id2pkg/index.html b/error/tools/id2pkg/index.html
@@ -116,7 +116,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-14T00:31:57.649Z
+                at 2025-12-15T05:14:03.769Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/id2pkg/index.js.html b/error/tools/id2pkg/index.js.html
@@ -190,7 +190,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-14T00:31:57.649Z
+                at 2025-12-15T05:14:03.769Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/id2pkg/main.js.html b/error/tools/id2pkg/main.js.html
@@ -235,7 +235,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-14T00:31:57.649Z
+                at 2025-12-15T05:14:03.769Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/pkg2id/coverage.ndjson b/error/tools/pkg2id/coverage.ndjson
@@ -1 +1 @@
-[95,95,100,7,7,100,1,1,100,95,95,100,"97ad0611b38402363d9c1d9e031e75d696788502","2025-12-14 00:30:44 +0000"]
+[95,95,100,7,7,100,1,1,100,95,95,100,"6952142b9ee179fb300de5951811b1e9d4c582a8","2025-12-15 05:13:03 +0000"]
diff --git a/error/tools/pkg2id/index.html b/error/tools/pkg2id/index.html
@@ -116,7 +116,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-14T00:32:00.206Z
+                at 2025-12-15T05:14:05.828Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/pkg2id/index.js.html b/error/tools/pkg2id/index.js.html
@@ -190,7 +190,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-14T00:32:00.206Z
+                at 2025-12-15T05:14:05.828Z
             </div>
         <script src="prettify.js"></script>
         <script>
diff --git a/error/tools/pkg2id/main.js.html b/error/tools/pkg2id/main.js.html
@@ -235,7 +235,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-14T00:32:00.206Z
+                at 2025-12-15T05:14:05.828Z
             </div>
         <script src="prettify.js"></script>
         <script>

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-[85,85,100,3,3,100,1,1,100,85,85,100,"97ad0611b38402363d9c1d9e031e75d696788502","2025-12-14 00:30:44 +0000"]`
	`1`	`+[85,85,100,3,3,100,1,1,100,85,85,100,"6952142b9ee179fb300de5951811b1e9d4c582a8","2025-12-15 05:13:03 +0000"]`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-[95,95,100,7,7,100,1,1,100,95,95,100,"97ad0611b38402363d9c1d9e031e75d696788502","2025-12-14 00:30:44 +0000"]`
	`1`	`+[95,95,100,7,7,100,1,1,100,95,95,100,"6952142b9ee179fb300de5951811b1e9d4c582a8","2025-12-15 05:13:03 +0000"]`