search

homalg-project / CategoricalTowers

Towers of category constructors
GNU General Public License v2.0
6 stars 4 forks source link

CoYonedaLemmaOn* now return cells in FiniteColimitCompletionWithStrictCoproducts #430

Closed mohamed-barakat closed 11 months ago

codecov[bot] commented 11 months ago

Codecov Report

Attention: 6 lines in your changes are missing coverage. Please review.

Files Coverage Δ
FiniteCocompletions/PackageInfo.g 100.00% <100.00%> (ø)
...gap/FiniteColimitCompletionWithStrictCoproducts.gi 88.05% <100.00%> (+5.66%) :arrow_up:
FunctorCategories/PackageInfo.g 100.00% <100.00%> (ø)
FunctorCategories/gap/PreSheaves.gd 98.95% <100.00%> (ø)
FunctorCategories/gap/PreSheaves.gi 89.68% <100.00%> (ø)
...gap/FiniteColimitCompletionWithStrictCoproducts.gd 57.14% <60.00%> (+2.85%) :arrow_up:
FunctorCategories/gap/HomStructure.gi 88.40% <0.00%> (+1.04%) :arrow_up:

... and 4 files with indirect coverage changes

:loudspeaker: Thoughts on this report? Let us know!