Skip to content

Commit 68b9455

Browse files
MomoLangensteinMomoLangenstein
MomoLangenstein
authored and
MomoLangenstein
committed
deploy: 7466647
1 parent 3b01e04 commit 68b9455

File tree

93 files changed

+93
-93
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

93 files changed

+93
-93
lines changed

coverage/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,7 +189,7 @@
189189
</table></div>
190190
<footer class="footer">
191191
<div class="content has-text-centered">
192-
<p class="heading">Date: 2025-01-19 01:07</p>
192+
<p class="heading">Date: 2025-01-26 01:04</p>
193193
</div>
194194
</footer>
195195
</body>

coverage/src/de/id.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4075,7 +4075,7 @@
40754075
</div>
40764076
<footer class="footer">
40774077
<div class="content has-text-centered">
4078-
<p class="heading">Date: 2025-01-19 01:07</p>
4078+
<p class="heading">Date: 2025-01-26 01:04</p>
40794079
</div>
40804080
</footer>
40814081
</body>

coverage/src/de/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,7 +189,7 @@
189189
</table></div>
190190
<footer class="footer">
191191
<div class="content has-text-centered">
192-
<p class="heading">Date: 2025-01-19 01:07</p>
192+
<p class="heading">Date: 2025-01-26 01:04</p>
193193
</div>
194194
</footer>
195195
</body>

coverage/src/de/mod.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16827,7 +16827,7 @@
1682716827
</div>
1682816828
<footer class="footer">
1682916829
<div class="content has-text-centered">
16830-
<p class="heading">Date: 2025-01-19 01:07</p>
16830+
<p class="heading">Date: 2025-01-26 01:04</p>
1683116831
</div>
1683216832
</footer>
1683316833
</body>

coverage/src/de/tag.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4059,7 +4059,7 @@
40594059
</div>
40604060
<footer class="footer">
40614061
<div class="content has-text-centered">
4062-
<p class="heading">Date: 2025-01-19 01:07</p>
4062+
<p class="heading">Date: 2025-01-26 01:04</p>
40634063
</div>
40644064
</footer>
40654065
</body>

coverage/src/de/tests.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10891,7 +10891,7 @@
1089110891
</div>
1089210892
<footer class="footer">
1089310893
<div class="content has-text-centered">
10894-
<p class="heading">Date: 2025-01-19 01:07</p>
10894+
<p class="heading">Date: 2025-01-26 01:04</p>
1089510895
</div>
1089610896
</footer>
1089710897
</body>

coverage/src/de/value.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7019,7 +7019,7 @@
70197019
</div>
70207020
<footer class="footer">
70217021
<div class="content has-text-centered">
7022-
<p class="heading">Date: 2025-01-19 01:07</p>
7022+
<p class="heading">Date: 2025-01-26 01:04</p>
70237023
</div>
70247024
</footer>
70257025
</body>

coverage/src/error.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11291,7 +11291,7 @@
1129111291
</div>
1129211292
<footer class="footer">
1129311293
<div class="content has-text-centered">
11294-
<p class="heading">Date: 2025-01-19 01:07</p>
11294+
<p class="heading">Date: 2025-01-26 01:04</p>
1129511295
</div>
1129611296
</footer>
1129711297
</body>

coverage/src/extensions.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -971,7 +971,7 @@
971971
</div>
972972
<footer class="footer">
973973
<div class="content has-text-centered">
974-
<p class="heading">Date: 2025-01-19 01:07</p>
974+
<p class="heading">Date: 2025-01-26 01:04</p>
975975
</div>
976976
</footer>
977977
</body>

coverage/src/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -162,7 +162,7 @@
162162
</table></div>
163163
<footer class="footer">
164164
<div class="content has-text-centered">
165-
<p class="heading">Date: 2025-01-19 01:07</p>
165+
<p class="heading">Date: 2025-01-26 01:04</p>
166166
</div>
167167
</footer>
168168
</body>

coverage/src/options.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3867,7 +3867,7 @@
38673867
</div>
38683868
<footer class="footer">
38693869
<div class="content has-text-centered">
3870-
<p class="heading">Date: 2025-01-19 01:07</p>
3870+
<p class="heading">Date: 2025-01-26 01:04</p>
38713871
</div>
38723872
</footer>
38733873
</body>

coverage/src/parse.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28971,7 +28971,7 @@
2897128971
</div>
2897228972
<footer class="footer">
2897328973
<div class="content has-text-centered">
28974-
<p class="heading">Date: 2025-01-19 01:07</p>
28974+
<p class="heading">Date: 2025-01-26 01:04</p>
2897528975
</div>
2897628976
</footer>
2897728977
</body>

coverage/src/ser/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,7 +189,7 @@
189189
</table></div>
190190
<footer class="footer">
191191
<div class="content has-text-centered">
192-
<p class="heading">Date: 2025-01-19 01:07</p>
192+
<p class="heading">Date: 2025-01-26 01:04</p>
193193
</div>
194194
</footer>
195195
</body>

coverage/src/ser/mod.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22827,7 +22827,7 @@
2282722827
</div>
2282822828
<footer class="footer">
2282922829
<div class="content has-text-centered">
22830-
<p class="heading">Date: 2025-01-19 01:07</p>
22830+
<p class="heading">Date: 2025-01-26 01:04</p>
2283122831
</div>
2283222832
</footer>
2283322833
</body>

coverage/src/ser/path_meta.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5803,7 +5803,7 @@
58035803
</div>
58045804
<footer class="footer">
58055805
<div class="content has-text-centered">
5806-
<p class="heading">Date: 2025-01-19 01:07</p>
5806+
<p class="heading">Date: 2025-01-26 01:04</p>
58075807
</div>
58085808
</footer>
58095809
</body>

coverage/src/ser/raw.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3883,7 +3883,7 @@
38833883
</div>
38843884
<footer class="footer">
38853885
<div class="content has-text-centered">
3886-
<p class="heading">Date: 2025-01-19 01:07</p>
3886+
<p class="heading">Date: 2025-01-26 01:04</p>
38873887
</div>
38883888
</footer>
38893889
</body>

coverage/src/ser/tests.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4939,7 +4939,7 @@
49394939
</div>
49404940
<footer class="footer">
49414941
<div class="content has-text-centered">
4942-
<p class="heading">Date: 2025-01-19 01:07</p>
4942+
<p class="heading">Date: 2025-01-26 01:04</p>
49434943
</div>
49444944
</footer>
49454945
</body>

coverage/src/ser/value.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -411,7 +411,7 @@
411411
</div>
412412
<footer class="footer">
413413
<div class="content has-text-centered">
414-
<p class="heading">Date: 2025-01-19 01:07</p>
414+
<p class="heading">Date: 2025-01-26 01:04</p>
415415
</div>
416416
</footer>
417417
</body>

coverage/src/value/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -162,7 +162,7 @@
162162
</table></div>
163163
<footer class="footer">
164164
<div class="content has-text-centered">
165-
<p class="heading">Date: 2025-01-19 01:07</p>
165+
<p class="heading">Date: 2025-01-26 01:04</p>
166166
</div>
167167
</footer>
168168
</body>

coverage/src/value/map.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4635,7 +4635,7 @@
46354635
</div>
46364636
<footer class="footer">
46374637
<div class="content has-text-centered">
4638-
<p class="heading">Date: 2025-01-19 01:07</p>
4638+
<p class="heading">Date: 2025-01-26 01:04</p>
46394639
</div>
46404640
</footer>
46414641
</body>

coverage/src/value/mod.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8075,7 +8075,7 @@
80758075
</div>
80768076
<footer class="footer">
80778077
<div class="content has-text-centered">
8078-
<p class="heading">Date: 2025-01-19 01:07</p>
8078+
<p class="heading">Date: 2025-01-26 01:04</p>
80798079
</div>
80808080
</footer>
80818081
</body>

coverage/src/value/number.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4603,7 +4603,7 @@
46034603
</div>
46044604
<footer class="footer">
46054605
<div class="content has-text-centered">
4606-
<p class="heading">Date: 2025-01-19 01:07</p>
4606+
<p class="heading">Date: 2025-01-26 01:04</p>
46074607
</div>
46084608
</footer>
46094609
</body>

coverage/src/value/raw.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4043,7 +4043,7 @@
40434043
</div>
40444044
<footer class="footer">
40454045
<div class="content has-text-centered">
4046-
<p class="heading">Date: 2025-01-19 01:07</p>
4046+
<p class="heading">Date: 2025-01-26 01:04</p>
40474047
</div>
40484048
</footer>
40494049
</body>

coverage/tests/115_minimal_flattening.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5659,7 +5659,7 @@
56595659
</div>
56605660
<footer class="footer">
56615661
<div class="content has-text-centered">
5662-
<p class="heading">Date: 2025-01-19 01:07</p>
5662+
<p class="heading">Date: 2025-01-26 01:04</p>
56635663
</div>
56645664
</footer>
56655665
</body>

coverage/tests/117_untagged_tuple_variant.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -987,7 +987,7 @@
987987
</div>
988988
<footer class="footer">
989989
<div class="content has-text-centered">
990-
<p class="heading">Date: 2025-01-19 01:07</p>
990+
<p class="heading">Date: 2025-01-26 01:04</p>
991991
</div>
992992
</footer>
993993
</body>

coverage/tests/123_enum_representation.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5275,7 +5275,7 @@
52755275
</div>
52765276
<footer class="footer">
52775277
<div class="content has-text-centered">
5278-
<p class="heading">Date: 2025-01-19 01:07</p>
5278+
<p class="heading">Date: 2025-01-26 01:04</p>
52795279
</div>
52805280
</footer>
52815281
</body>

coverage/tests/129_indexmap.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1259,7 +1259,7 @@
12591259
</div>
12601260
<footer class="footer">
12611261
<div class="content has-text-centered">
1262-
<p class="heading">Date: 2025-01-19 01:07</p>
1262+
<p class="heading">Date: 2025-01-26 01:04</p>
12631263
</div>
12641264
</footer>
12651265
</body>

coverage/tests/147_empty_sets_serialisation.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1051,7 +1051,7 @@
10511051
</div>
10521052
<footer class="footer">
10531053
<div class="content has-text-centered">
1054-
<p class="heading">Date: 2025-01-19 01:07</p>
1054+
<p class="heading">Date: 2025-01-26 01:04</p>
10551055
</div>
10561056
</footer>
10571057
</body>

coverage/tests/152_bitflags.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1019,7 +1019,7 @@
10191019
</div>
10201020
<footer class="footer">
10211021
<div class="content has-text-centered">
1022-
<p class="heading">Date: 2025-01-19 01:07</p>
1022+
<p class="heading">Date: 2025-01-26 01:04</p>
10231023
</div>
10241024
</footer>
10251025
</body>

coverage/tests/203_error_positions.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1723,7 +1723,7 @@
17231723
</div>
17241724
<footer class="footer">
17251725
<div class="content has-text-centered">
1726-
<p class="heading">Date: 2025-01-19 01:07</p>
1726+
<p class="heading">Date: 2025-01-26 01:04</p>
17271727
</div>
17281728
</footer>
17291729
</body>

coverage/tests/207_adjacently_tagged_enum.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -395,7 +395,7 @@
395395
</div>
396396
<footer class="footer">
397397
<div class="content has-text-centered">
398-
<p class="heading">Date: 2025-01-19 01:07</p>
398+
<p class="heading">Date: 2025-01-26 01:04</p>
399399
</div>
400400
</footer>
401401
</body>

coverage/tests/217_nested_untagged_enums.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1611,7 +1611,7 @@
16111611
</div>
16121612
<footer class="footer">
16131613
<div class="content has-text-centered">
1614-
<p class="heading">Date: 2025-01-19 01:07</p>
1614+
<p class="heading">Date: 2025-01-26 01:04</p>
16151615
</div>
16161616
</footer>
16171617
</body>

coverage/tests/238_array.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -859,7 +859,7 @@
859859
</div>
860860
<footer class="footer">
861861
<div class="content has-text-centered">
862-
<p class="heading">Date: 2025-01-19 01:07</p>
862+
<p class="heading">Date: 2025-01-26 01:04</p>
863863
</div>
864864
</footer>
865865
</body>

coverage/tests/240_array_pretty.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -843,7 +843,7 @@
843843
</div>
844844
<footer class="footer">
845845
<div class="content has-text-centered">
846-
<p class="heading">Date: 2025-01-19 01:07</p>
846+
<p class="heading">Date: 2025-01-26 01:04</p>
847847
</div>
848848
</footer>
849849
</body>

coverage/tests/250_variant_newtypes.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6939,7 +6939,7 @@
69396939
</div>
69406940
<footer class="footer">
69416941
<div class="content has-text-centered">
6942-
<p class="heading">Date: 2025-01-19 01:07</p>
6942+
<p class="heading">Date: 2025-01-26 01:04</p>
69436943
</div>
69446944
</footer>
69456945
</body>

coverage/tests/254_typetag.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3051,7 +3051,7 @@
30513051
</div>
30523052
<footer class="footer">
30533053
<div class="content has-text-centered">
3054-
<p class="heading">Date: 2025-01-19 01:07</p>
3054+
<p class="heading">Date: 2025-01-26 01:04</p>
30553055
</div>
30563056
</footer>
30573057
</body>

coverage/tests/256_comma_error.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1403,7 +1403,7 @@
14031403
</div>
14041404
<footer class="footer">
14051405
<div class="content has-text-centered">
1406-
<p class="heading">Date: 2025-01-19 01:07</p>
1406+
<p class="heading">Date: 2025-01-26 01:04</p>
14071407
</div>
14081408
</footer>
14091409
</body>

coverage/tests/289_enumerate_arrays.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -795,7 +795,7 @@
795795
</div>
796796
<footer class="footer">
797797
<div class="content has-text-centered">
798-
<p class="heading">Date: 2025-01-19 01:07</p>
798+
<p class="heading">Date: 2025-01-26 01:04</p>
799799
</div>
800800
</footer>
801801
</body>

coverage/tests/301_struct_name_mismatch.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2123,7 +2123,7 @@
21232123
</div>
21242124
<footer class="footer">
21252125
<div class="content has-text-centered">
2126-
<p class="heading">Date: 2025-01-19 01:07</p>
2126+
<p class="heading">Date: 2025-01-26 01:04</p>
21272127
</div>
21282128
</footer>
21292129
</body>

coverage/tests/307_stack_overflow.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -955,7 +955,7 @@
955955
</div>
956956
<footer class="footer">
957957
<div class="content has-text-centered">
958-
<p class="heading">Date: 2025-01-19 01:07</p>
958+
<p class="heading">Date: 2025-01-26 01:04</p>
959959
</div>
960960
</footer>
961961
</body>

coverage/tests/321_unicode_ident.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -523,7 +523,7 @@
523523
</div>
524524
<footer class="footer">
525525
<div class="content has-text-centered">
526-
<p class="heading">Date: 2025-01-19 01:07</p>
526+
<p class="heading">Date: 2025-01-26 01:04</p>
527527
</div>
528528
</footer>
529529
</body>

coverage/tests/322_escape_idents.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -587,7 +587,7 @@
587587
</div>
588588
<footer class="footer">
589589
<div class="content has-text-centered">
590-
<p class="heading">Date: 2025-01-19 01:07</p>
590+
<p class="heading">Date: 2025-01-26 01:04</p>
591591
</div>
592592
</footer>
593593
</body>

coverage/tests/337_value_float_roundtrip.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -507,7 +507,7 @@
507507
</div>
508508
<footer class="footer">
509509
<div class="content has-text-centered">
510-
<p class="heading">Date: 2025-01-19 01:07</p>
510+
<p class="heading">Date: 2025-01-26 01:04</p>
511511
</div>
512512
</footer>
513513
</body>

coverage/tests/357_untagged_enum_roundtrip.rs.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -571,7 +571,7 @@
571571
</div>
572572
<footer class="footer">
573573
<div class="content has-text-centered">
574-
<p class="heading">Date: 2025-01-19 01:07</p>
574+
<p class="heading">Date: 2025-01-26 01:04</p>
575575
</div>
576576
</footer>
577577
</body>

0 commit comments

Comments
 (0)