search

homalg-project / CategoricalTowers

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

d&i FiniteColimitCompletionWithStrictCoproducts #429

Closed mohamed-barakat closed 11 months ago

codecov[bot] commented 11 months ago

Codecov Report

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

Files Coverage Δ
FiniteCocompletions/PackageInfo.g 100.00% <100.00%> (ø)
FiniteCocompletions/gap/CoequalizerCompletion.gd 100.00% <ø> (ø)
FiniteCocompletions/gap/CoequalizerCompletion.gi 89.95% <100.00%> (ø)
FiniteCocompletions/init.g 100.00% <100.00%> (ø)
FiniteCocompletions/read.g 100.00% <100.00%> (ø)
...tions/gap/ColimitCompletionWithStrictCoproducts.gd 54.28% <54.28%> (ø)
...tions/gap/ColimitCompletionWithStrictCoproducts.gi 74.84% <74.84%> (ø)

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