Refresh the size graph

github-actions[bot] · github-actions[bot] · commit 049a7adef794 · 2025-12-18T14:05:14.000Z
diff --git a/size-results.svg b/size-results.svg
@@ -6,7 +6,7 @@
   <rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <cc:Work>
     <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
-    <dc:date>2025-12-18T02:33:54.147276</dc:date>
+    <dc:date>2025-12-18T14:04:31.069582</dc:date>
     <dc:format>image/svg+xml</dc:format>
     <dc:creator>
      <cc:Agent>
@@ -41,12 +41,12 @@ z
     <g id="xtick_1">
      <g id="line2d_1">
       <defs>
-       <path id="m8ab8c4a3f4" d="M 0 0 
+       <path id="m490ec7e6cd" d="M 0 0 
 L 0 3.5 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="83.86846" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="83.86846" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_1">
@@ -143,7 +143,7 @@ z
     <g id="xtick_2">
      <g id="line2d_2">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="140.202004" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="140.202004" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_2">
@@ -162,7 +162,7 @@ z
     <g id="xtick_3">
      <g id="line2d_3">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="195.617066" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="195.617066" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_3">
@@ -181,7 +181,7 @@ z
     <g id="xtick_4">
      <g id="line2d_4">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="251.950609" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="251.950609" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_4">
@@ -234,7 +234,7 @@ z
     <g id="xtick_5">
      <g id="line2d_5">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="307.365671" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="307.365671" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_5">
@@ -253,7 +253,7 @@ z
     <g id="xtick_6">
      <g id="line2d_6">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="363.699215" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="363.699215" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_6">
@@ -293,7 +293,7 @@ z
     <g id="xtick_7">
      <g id="line2d_7">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="419.420438" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="419.420438" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_7">
@@ -312,7 +312,7 @@ z
     <g id="xtick_8">
      <g id="line2d_8">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="475.753982" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="475.753982" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_8">
@@ -358,7 +358,7 @@ z
     <g id="xtick_9">
      <g id="line2d_9">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="531.169044" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="531.169044" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_9">
@@ -377,7 +377,7 @@ z
     <g id="xtick_10">
      <g id="line2d_10">
       <g>
-       <use xlink:href="#m8ab8c4a3f4" x="587.502587" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m490ec7e6cd" x="587.502587" y="374.830125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_10">
@@ -430,12 +430,12 @@ z
     <g id="ytick_1">
      <g id="line2d_11">
       <defs>
-       <path id="ma54d8244d6" d="M 0 0 
+       <path id="m85dfa7dfae" d="M 0 0 
 L -3.5 0 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#ma54d8244d6" x="52.375" y="344.575893" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m85dfa7dfae" x="52.375" y="344.575893" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_11">
@@ -452,7 +452,7 @@ L -3.5 0
     <g id="ytick_2">
      <g id="line2d_12">
       <g>
-       <use xlink:href="#ma54d8244d6" x="52.375" y="298.292245" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m85dfa7dfae" x="52.375" y="298.292245" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_12">
@@ -469,7 +469,7 @@ L -3.5 0
     <g id="ytick_3">
      <g id="line2d_13">
       <g>
-       <use xlink:href="#ma54d8244d6" x="52.375" y="252.008597" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m85dfa7dfae" x="52.375" y="252.008597" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_13">
@@ -486,7 +486,7 @@ L -3.5 0
     <g id="ytick_4">
      <g id="line2d_14">
       <g>
-       <use xlink:href="#ma54d8244d6" x="52.375" y="205.724949" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m85dfa7dfae" x="52.375" y="205.724949" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_14">
@@ -544,7 +544,7 @@ z
     <g id="ytick_5">
      <g id="line2d_15">
       <g>
-       <use xlink:href="#ma54d8244d6" x="52.375" y="159.441301" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m85dfa7dfae" x="52.375" y="159.441301" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_15">
@@ -562,7 +562,7 @@ z
     <g id="ytick_6">
      <g id="line2d_16">
       <g>
-       <use xlink:href="#ma54d8244d6" x="52.375" y="113.157653" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m85dfa7dfae" x="52.375" y="113.157653" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_16">
@@ -580,7 +580,7 @@ z
     <g id="ytick_7">
      <g id="line2d_17">
       <g>
-       <use xlink:href="#ma54d8244d6" x="52.375" y="66.874004" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m85dfa7dfae" x="52.375" y="66.874004" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_17">
@@ -1001,7 +1001,7 @@ L 581.4943 60.579428
 L 581.649495 60.033281 
 L 582.803235 60.005511 
 L 582.803235 60.005511 
-" clip-path="url(#p346aa5c7df)" style="fill: none; stroke-dasharray: 3,1.5; stroke-dashoffset: 0; stroke: #808080; stroke-width: 1.5"/>
+" clip-path="url(#pf247d5e273)" style="fill: none; stroke-dasharray: 3,1.5; stroke-dashoffset: 0; stroke: #808080; stroke-width: 1.5"/>
    </g>
    <g id="line2d_19">
     <path d="M 57.626765 367.273394 
@@ -1198,7 +1198,7 @@ L 581.4943 362.071112
 L 581.649495 361.654559 
 L 582.803235 361.654559 
 L 582.803235 361.654559 
-" clip-path="url(#p346aa5c7df)" style="fill: none; stroke-dasharray: 6,1.5; stroke-dashoffset: 0; stroke: #008000; stroke-width: 1.5"/>
+" clip-path="url(#pf247d5e273)" style="fill: none; stroke-dasharray: 6,1.5; stroke-dashoffset: 0; stroke: #008000; stroke-width: 1.5"/>
    </g>
    <g id="patch_3">
     <path d="M 52.375 374.830125 
@@ -1886,7 +1886,7 @@ z
   </g>
  </g>
  <defs>
-  <clipPath id="p346aa5c7df">
+  <clipPath id="pf247d5e273">
    <rect x="52.375" y="22.318125" width="535.68" height="352.512"/>
   </clipPath>
  </defs>
