homalg-project / HigherHomologicalAlgebra

A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
https://homalg-project.github.io/HigherHomologicalAlgebra
5 stars 6 forks source link

Use CreateCapCategory with four arguments #141

Closed zickgraf closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Patch and project coverage have no change.

Comparison is base (3992843) 79.37% compared to head (7b34526) 79.37%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #141 +/- ## ======================================= Coverage 79.37% 79.37% ======================================= Files 91 91 Lines 6060 6060 ======================================= Hits 4810 4810 Misses 1250 1250 ``` | Flag | Coverage Δ | | |---|---|---| | BBGG | `100.00% <ø> (ø)` | | | Bicomplexes | `84.37% <ø> (ø)` | | | ComplexesCategories | `83.00% <ø> (ø)` | | | DerivedCategories | `73.46% <ø> (ø)` | | | HomotopyCategories | `80.93% <ø> (ø)` | | | QuotientCategories | `87.86% <ø> (ø)` | | | StableCategories | `100.00% <ø> (ø)` | | | ToolsForHigherHomologicalAlgebra | `73.94% <ø> (ø)` | | | TriangulatedCategories | `73.34% <ø> (ø)` | | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#carryforward-flags-in-the-pull-request-comment) to find out more. Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project)

:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.

kamalsaleh commented 1 year ago

Thanks :+1: