search

homalg-project / CategoricalTowers

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

d&i EpimorphismFromSomeProjectiveObjectUsingSplits #404

Closed mohamed-barakat closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

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

Files Coverage Δ
CategoryConstructor/PackageInfo.g 100.00% <100.00%> (ø)
FiniteCocompletions/PackageInfo.g 100.00% <100.00%> (ø)
FunctorCategories/PackageInfo.g 100.00% <100.00%> (ø)
FunctorCategories/gap/PreSheaves.gd 98.91% <100.00%> (+0.02%) :arrow_up:
InternalModules/PackageInfo.g 100.00% <100.00%> (ø)
IntrinsicGradedModules/PackageInfo.g 100.00% <100.00%> (ø)
IntrinsicModules/PackageInfo.g 100.00% <100.00%> (ø)
Locales/PackageInfo.g 100.00% <100.00%> (ø)
PreSheaves/PackageInfo.g 100.00% <100.00%> (ø)
Toposes/PackageInfo.g 100.00% <100.00%> (ø)
... and 1 more

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