deploy: 5f12b4a

ron-rs · Oct 8, 2023 · ee22956 · ee22956
1 parent d3f08e6
commit ee22956
Show file tree

Hide file tree

Showing 88 changed files with 88 additions and 88 deletions.
diff --git a/coverage/index.html b/coverage/index.html
@@ -189,7 +189,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/de/id.rs.html b/coverage/src/de/id.rs.html
@@ -4075,7 +4075,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/de/index.html b/coverage/src/de/index.html
@@ -189,7 +189,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/de/mod.rs.html b/coverage/src/de/mod.rs.html
@@ -16795,7 +16795,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/de/tag.rs.html b/coverage/src/de/tag.rs.html
@@ -4059,7 +4059,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/de/tests.rs.html b/coverage/src/de/tests.rs.html
@@ -10891,7 +10891,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/de/value.rs.html b/coverage/src/de/value.rs.html
@@ -7019,7 +7019,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/error.rs.html b/coverage/src/error.rs.html
@@ -11115,7 +11115,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/extensions.rs.html b/coverage/src/extensions.rs.html
@@ -971,7 +971,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/index.html b/coverage/src/index.html
@@ -162,7 +162,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/options.rs.html b/coverage/src/options.rs.html
@@ -3835,7 +3835,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/parse.rs.html b/coverage/src/parse.rs.html
@@ -28747,7 +28747,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/ser/index.html b/coverage/src/ser/index.html
@@ -162,7 +162,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/ser/mod.rs.html b/coverage/src/ser/mod.rs.html
@@ -22171,7 +22171,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/ser/raw.rs.html b/coverage/src/ser/raw.rs.html
@@ -3883,7 +3883,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/ser/tests.rs.html b/coverage/src/ser/tests.rs.html
@@ -4939,7 +4939,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/ser/value.rs.html b/coverage/src/ser/value.rs.html
@@ -411,7 +411,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/value/index.html b/coverage/src/value/index.html
@@ -162,7 +162,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/value/map.rs.html b/coverage/src/value/map.rs.html
@@ -4443,7 +4443,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/value/mod.rs.html b/coverage/src/value/mod.rs.html
@@ -8075,7 +8075,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/value/number.rs.html b/coverage/src/value/number.rs.html
@@ -4603,7 +4603,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/src/value/raw.rs.html b/coverage/src/value/raw.rs.html
@@ -4043,7 +4043,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/115_minimal_flattening.rs.html b/coverage/tests/115_minimal_flattening.rs.html
@@ -5659,7 +5659,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/117_untagged_tuple_variant.rs.html b/coverage/tests/117_untagged_tuple_variant.rs.html
@@ -987,7 +987,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/123_enum_representation.rs.html b/coverage/tests/123_enum_representation.rs.html
@@ -5275,7 +5275,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/129_indexmap.rs.html b/coverage/tests/129_indexmap.rs.html
@@ -1259,7 +1259,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/147_empty_sets_serialisation.rs.html b/coverage/tests/147_empty_sets_serialisation.rs.html
@@ -1051,7 +1051,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/152_bitflags.rs.html b/coverage/tests/152_bitflags.rs.html
@@ -1019,7 +1019,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/203_error_positions.rs.html b/coverage/tests/203_error_positions.rs.html
@@ -1723,7 +1723,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/207_adjacently_tagged_enum.rs.html b/coverage/tests/207_adjacently_tagged_enum.rs.html
@@ -395,7 +395,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/217_nested_untagged_enums.rs.html b/coverage/tests/217_nested_untagged_enums.rs.html
@@ -1611,7 +1611,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/238_array.rs.html b/coverage/tests/238_array.rs.html
@@ -859,7 +859,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/240_array_pretty.rs.html b/coverage/tests/240_array_pretty.rs.html
@@ -875,7 +875,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/250_variant_newtypes.rs.html b/coverage/tests/250_variant_newtypes.rs.html
@@ -6939,7 +6939,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/254_typetag.rs.html b/coverage/tests/254_typetag.rs.html
@@ -3051,7 +3051,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/256_comma_error.rs.html b/coverage/tests/256_comma_error.rs.html
@@ -1403,7 +1403,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/289_enumerate_arrays.rs.html b/coverage/tests/289_enumerate_arrays.rs.html
@@ -795,7 +795,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/301_struct_name_mismatch.rs.html b/coverage/tests/301_struct_name_mismatch.rs.html
@@ -2123,7 +2123,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/307_stack_overflow.rs.html b/coverage/tests/307_stack_overflow.rs.html
@@ -955,7 +955,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/321_unicode_ident.rs.html b/coverage/tests/321_unicode_ident.rs.html
@@ -523,7 +523,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/322_escape_idents.rs.html b/coverage/tests/322_escape_idents.rs.html
@@ -587,7 +587,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/337_value_float_roundtrip.rs.html b/coverage/tests/337_value_float_roundtrip.rs.html
@@ -507,7 +507,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/357_untagged_enum_roundtrip.rs.html b/coverage/tests/357_untagged_enum_roundtrip.rs.html
@@ -571,7 +571,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/tests/359_deserialize_seed.rs.html b/coverage/tests/359_deserialize_seed.rs.html
@@ -955,7 +955,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-10-07 06:46</p>
+                <p class="heading">Date: 2023-10-08 00:13</p>
             </div>
         </footer>
     </body>