search

homalg-project / LazyCategories

[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category
https://homalg-project.github.io/pkg/LazyCategories
GNU General Public License v2.0
0 stars 2 forks source link

@Subsection Lazy terminal category with multiple objects #19

Closed mohamed-barakat closed 2 years ago

codecov[bot] commented 2 years ago

Codecov Report

Merging #19 (256e83a) into master (b3e34d3) will increase coverage by 1.33%. The diff coverage is 100.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #19      +/-   ##
==========================================
+ Coverage   65.65%   66.98%   +1.33%     
==========================================
  Files           6        6              
  Lines         827      827              
==========================================
+ Hits          543      554      +11     
+ Misses        284      273      -11
Impacted Files Coverage Δ
PackageInfo.g 100.00% <100.00%> (ø)
gap/LazyCategory.gi 62.01% <0.00%> (+1.53%) :arrow_up:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update b3e34d3...256e83a. Read the comment docs.