Purge RealNumberField #1694
+1
−113
Merged
Purge RealNumberField #1694
Codecov / codecov/project
succeeded
Dec 15, 2024 in 0s
76.39% (+0.46%) compared to 5d2ba17
View this Pull Request on Codecov
76.39% (+0.46%) compared to 5d2ba17
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 76.39%. Comparing base (
5d2ba17) to head (e5415d0).
Report is 13 commits behind head on master.
Additional details and impacted files
@@ Coverage Diff @@
## master #1694 +/- ##
==========================================
+ Coverage 75.93% 76.39% +0.46%
==========================================
Files 362 361 -1
Lines 114328 118047 +3719
==========================================
+ Hits 86812 90180 +3368
- Misses 27516 27867 +351 | Files with missing lines | Coverage Δ | |
|---|---|---|
| src/Hecke.jl | 46.13% <ø> (-5.15%) |
⬇️ |
Loading