search

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

comply with FpCategories v2023.12-04 #181

Closed mohamed-barakat closed 10 months ago

mohamed-barakat commented 10 months ago

replaced • -> ⋅

codecov[bot] commented 10 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (d133954) 78.69% compared to head (77d685f) 78.70%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #181 +/- ## ======================================= Coverage 78.69% 78.70% ======================================= Files 86 86 Lines 5676 5677 +1 ======================================= + Hits 4467 4468 +1 Misses 1209 1209 ``` | [Flag](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | Coverage Δ | | |---|---|---| | [BBGG](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `100.00% <ø> (ø)` | | | [Bicomplexes](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `84.12% <ø> (ø)` | | | [ComplexesCategories](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `81.47% <100.00%> (ø)` | | | [DerivedCategories](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `73.14% <100.00%> (+0.04%)` | :arrow_up: | | [HomotopyCategories](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `80.99% <ø> (ø)` | | | [StableCategories](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `100.00% <ø> (ø)` | | | [ToolsForHigherHomologicalAlgebra](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `75.63% <ø> (ø)` | | | [TriangulatedCategories](https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/181/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `74.25% <ø> (ø)` | | 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.

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

kamalsaleh commented 10 months ago

Thank you very much