d&i IsClosedPreSheafWRTCoproductCocones

[mohamed-barakat]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 26.70623% with 247 lines in your changes are missing coverage. Please review.

Project coverage is 75.43%. Comparing base (7f8760c) to head (43d4652).

❗ Current head 43d4652 differs from pull request most recent head 30ef18c. Consider uploading reports for the commit 30ef18c to get more accurate results

Files	Patch %	Lines
FunctorCategories/gap/PreSheaves.gi	20.54%	116 Missing ⚠️
Locales/gap/ToolsUsingDigraphs.gi	8.33%	44 Missing ⚠️
FpCategories/gap/Tools.gi	16.66%	30 Missing ⚠️
SubcategoriesForCAP/gap/ToolsUsingDigraphs.gi	8.00%	23 Missing ⚠️
...initeCocompletions/gap/CategoryOfColimitQuivers.gi	25.00%	21 Missing ⚠️
Locales/gap/SingleDifferences.gi	57.14%	6 Missing ⚠️
FpCategories/gap/PathCategories.gi	69.23%	4 Missing ⚠️
FpCategories/gap/Tools.gd	40.00%	3 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #500      +/-   ##
==========================================
+ Coverage   73.20%   75.43%   +2.22%     
==========================================
  Files         257      390     +133     
  Lines       43353    58378   +15025     
==========================================
+ Hits        31737    44036   +12299     
- Misses      11616    14342    +2726     

Flag	Coverage Δ
Algebroids	75.75% <ø> (-0.32%)	⬇️
CatReps	83.54% <ø> (ø)
CategoriesWithAmbientObjects	89.30% <ø> (ø)
ExteriorPowersCategories	43.70% <ø> (ø)
FiniteCocompletions	88.71% <30.00%> (-3.98%)	⬇️
FpCategories	85.02% <35.08%> (-1.94%)	⬇️
FunctorCategories	64.92% <27.04%> (-0.56%)	⬇️
GradedCategories	86.57% <ø> (ø)
InternalModules	81.66% <ø> (ø)
IntrinsicCategories	82.55% <ø> (ø)
IntrinsicGradedModules	50.83% <ø> (ø)
IntrinsicModules	82.15% <ø> (ø)
LazyCategories	68.12% <ø> (ø)
Locales	85.08% <20.63%> (?)
PreSheaves	91.92% <ø> (?)
QuotientCategories	92.08% <ø> (?)
SubcategoriesForCAP	80.06% <17.85%> (?)
ToolsForCategoricalTowers	84.93% <ø> (?)
Toposes	90.86% <ø> (?)
ZariskiFrames	74.31% <ø> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.