search

homalg-project / CategoricalTowers

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

enhance 2-enrichment #490

Closed mohamed-barakat closed 8 months ago

mohamed-barakat commented 8 months ago
codecov[bot] commented 8 months ago

Codecov Report

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

Comparison is base (c9169d3) 75.94% compared to head (78a6c75) 75.50%. Report is 2 commits behind head on master.

Files Patch % Lines
FpCategories/gap/ToolsDerivedMethods.gi 50.00% 12 Missing :warning:
FpCategories/gap/Tools.gi 26.66% 11 Missing :warning:
Locales/gap/ProsetDerivedMethods.gi 74.41% 11 Missing :warning:
Locales/gap/SingleDifferences.gi 47.61% 11 Missing :warning:
Locales/gap/IntervalCategory.gi 86.36% 3 Missing :warning:
...completions/gap/FiniteStrictCoproductCompletion.gi 86.66% 2 Missing :warning:
FunctorCategories/gap/CoPreSheaves.gi 75.00% 2 Missing :warning:
FunctorCategories/gap/FunctorCategories.gi 75.00% 2 Missing :warning:
FunctorCategories/gap/PreSheaves.gi 75.00% 2 Missing :warning:
Locales/gap/IntervalCategory.gd 66.66% 1 Missing :warning:
... and 1 more
Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #490 +/- ## ========================================== - Coverage 75.94% 75.50% -0.45% ========================================== Files 385 385 Lines 57091 57215 +124 ========================================== - Hits 43360 43199 -161 - Misses 13731 14016 +285 ``` | [Flag](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | Coverage Δ | | |---|---|---| | [Algebroids](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `75.80% <100.00%> (-0.32%)` | :arrow_down: | | [CatReps](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `83.54% <ø> (ø)` | | | [CategoriesWithAmbientObjects](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `89.30% <ø> (ø)` | | | [ExteriorPowersCategories](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `43.70% <ø> (ø)` | | | [FiniteCocompletions](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `89.01% <98.49%> (-3.61%)` | :arrow_down: | | [FpCategories](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `86.36% <42.50%> (-1.23%)` | :arrow_down: | | [FunctorCategories](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `64.98% <76.00%> (-0.19%)` | :arrow_down: | | [GradedCategories](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `86.57% <ø> (ø)` | | | [InternalModules](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `81.66% <ø> (ø)` | | | [IntrinsicCategories](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `82.57% <ø> (ø)` | | | [IntrinsicGradedModules](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `50.89% <ø> (ø)` | | | [IntrinsicModules](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `82.15% <ø> (ø)` | | | [LazyCategories](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `74.44% <ø> (+0.24%)` | :arrow_up: | | [Locales](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `84.96% <71.73%> (-0.62%)` | :arrow_down: | | [PreSheaves](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `91.92% <ø> (ø)` | | | [QuotientCategories](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `92.08% <ø> (ø)` | | | [SubcategoriesForCAP](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `81.64% <ø> (ø)` | | | [ToolsForCategoricalTowers](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `84.44% <75.00%> (-0.04%)` | :arrow_down: | | [Toposes](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `89.50% <ø> (-0.83%)` | :arrow_down: | | [ZariskiFrames](https://app.codecov.io/gh/homalg-project/CategoricalTowers/pull/490/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | `74.31% <ø> (ø)` | | 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.