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 ReinterpretationOfObject/Morphism #153

Closed zickgraf closed 1 year ago

zickgraf commented 1 year ago

This should have been part of the last PR.

zickgraf commented 1 year ago

The CI should (hopefully) succeed once the subsplit of PreSheaves is updated.

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 75.00% and no project coverage change.

Comparison is base (6dcb063) 79.35% compared to head (dc73290) 79.35%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #153 +/- ## ======================================= Coverage 79.35% 79.35% ======================================= Files 91 91 Lines 6083 6083 ======================================= Hits 4827 4827 Misses 1256 1256 ``` | Flag | Coverage Δ | | |---|---|---| | BBGG | `100.00% <ø> (ø)` | | | Bicomplexes | `84.37% <75.00%> (ø)` | | | ComplexesCategories | `83.03% <ø> (ø)` | | | DerivedCategories | `73.46% <ø> (ø)` | | | HomotopyCategories | `80.93% <ø> (ø)` | | | QuotientCategories | `86.26% <ø> (ø)` | | | StableCategories | `100.00% <ø> (ø)` | | | ToolsForHigherHomologicalAlgebra | `73.94% <ø> (ø)` | | | TriangulatedCategories | `73.49% <ø> (ø)` | | 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. | [Impacted Files](https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/153?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | Coverage Δ | | |---|---|---| | [Bicomplexes/gap/Morphisms.gi](https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/153?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#diff-Qmljb21wbGV4ZXMvZ2FwL01vcnBoaXNtcy5naQ==) | `62.79% <50.00%> (ø)` | | | [Bicomplexes/PackageInfo.g](https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/153?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#diff-Qmljb21wbGV4ZXMvUGFja2FnZUluZm8uZw==) | `100.00% <100.00%> (ø)` | | | [Bicomplexes/gap/Objects.gi](https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/pull/153?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#diff-Qmljb21wbGV4ZXMvZ2FwL09iamVjdHMuZ2k=) | `70.83% <100.00%> (ø)` | |

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

kamalsaleh commented 1 year ago

Thanks :)