Closed fingolfin closed 5 months ago
Merging #101 (2fd5892) into master (cf53848) will not change coverage. The diff coverage is n/a.
n/a
Codecov Report
Additional details and impacted files
```diff @@ Coverage Diff @@ ## master #101 +/- ## ======================================= Coverage 83.55% 83.55% ======================================= Files 11 11 Lines 5193 5193 ======================================= Hits 4339 4339 Misses 854 854 ``` | [Files](https://app.codecov.io/gh/gap-packages/wedderga/pull/101?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=gap-packages) | Coverage Δ | | |---|---|---| | [lib/div-alg.gd](https://app.codecov.io/gh/gap-packages/wedderga/pull/101?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=gap-packages#diff-bGliL2Rpdi1hbGcuZ2Q=) | `100.00% <ø> (ø)` | |