Added data-structure WeakKeyIdDict #1872
Closed
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/project
succeeded
Sep 8, 2023 in 0s
73.36% (-0.04%) compared to 7cd1abd
View this Pull Request on Codecov
73.36% (-0.04%) compared to 7cd1abd
Details
Codecov Report
Merging #1872 (e0e8747) into master (7cd1abd) will decrease coverage by
0.04%.
Report is 11 commits behind head on master.
The diff coverage is53.28%.
@@ Coverage Diff @@
## master #1872 +/- ##
==========================================
- Coverage 73.39% 73.36% -0.04%
==========================================
Files 451 452 +1
Lines 64172 64382 +210
==========================================
+ Hits 47098 47232 +134
- Misses 17074 17150 +76 | Files Changed | Coverage |
|---|---|
| src/Oscar.jl | ø |
| src/DataStructures/weakkeyid_dict.jl | 53.28% |
📢 Thoughts on this report? Let us know!.
Loading