Update code coverage badges [skip ci]

actions-user · actions-user · commit d72bc9607b50 · 2026-02-01T21:46:57.000Z
diff --git a/docs/coverage_linux_aarch64.svg b/docs/coverage_linux_aarch64.svg
@@ -0,0 +1,20 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="120" height="20">
+  <linearGradient id="b" x2="0" y2="100%">
+    <stop offset="0" stop-color="#bbb" stop-opacity=".1"/>
+    <stop offset="1" stop-opacity=".1"/>
+  </linearGradient>
+  <mask id="a">
+    <rect width="120" height="20" rx="3" fill="#fff"/>
+  </mask>
+  <g mask="url(#a)">
+    <rect width="70" height="20" fill="#555"/>
+    <rect x="70" width="50" height="20" fill="yellow"/>
+    <rect width="120" height="20" fill="url(#b)"/>
+  </g>
+  <g fill="#fff" text-anchor="middle"
+     font-family="DejaVu Sans,Verdana,Geneva,sans-serif"
+     font-size="11">
+    <text x="35" y="14">coverage</text>
+    <text x="95" y="14">86.1%</text>
+  </g>
+</svg>
diff --git a/docs/coverage_linux_x86_64.svg b/docs/coverage_linux_x86_64.svg
@@ -0,0 +1,20 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="120" height="20">
+  <linearGradient id="b" x2="0" y2="100%">
+    <stop offset="0" stop-color="#bbb" stop-opacity=".1"/>
+    <stop offset="1" stop-opacity=".1"/>
+  </linearGradient>
+  <mask id="a">
+    <rect width="120" height="20" rx="3" fill="#fff"/>
+  </mask>
+  <g mask="url(#a)">
+    <rect width="70" height="20" fill="#555"/>
+    <rect x="70" width="50" height="20" fill="yellow"/>
+    <rect width="120" height="20" fill="url(#b)"/>
+  </g>
+  <g fill="#fff" text-anchor="middle"
+     font-family="DejaVu Sans,Verdana,Geneva,sans-serif"
+     font-size="11">
+    <text x="35" y="14">coverage</text>
+    <text x="95" y="14">86.1%</text>
+  </g>
+</svg>
