[MUST PASS CI 10 CONSECUTIVE TIMES BEFORE MERGING] Workaround for world.Export potentially hanging forever #1789
Codecov / codecov/project
succeeded
Feb 26, 2024 in 0s
95.50% (-0.01%) compared to 888ce7c
View this Pull Request on Codecov
95.50% (-0.01%) compared to 888ce7c
Details
Codecov Report
Merging #1789 (575d811) into master (888ce7c) will decrease coverage by
0.01%
.
The diff coverage is81.81%
.
Additional details and impacted files
@@ Coverage Diff @@
## master #1789 +/- ##
==========================================
- Coverage 95.50% 95.50% -0.01%
==========================================
Files 679 679
Lines 145941 145949 +8
Branches 3170 3172 +2
==========================================
+ Hits 139380 139383 +3
- Misses 6073 6079 +6
+ Partials 488 487 -1
Loading