Skip to content

split file LinearClosureForGroupAsCategory.gi - #1756

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel
Jun 28, 2025
Merged

split file LinearClosureForGroupAsCategory.gi#1756
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel

Conversation

@mohamed-barakat

Copy link
Copy Markdown
Member

No description provided.

@codecov

codecov Bot commented Jun 28, 2025

Copy link
Copy Markdown

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.56%. Comparing base (d8d6e71) to head (8244c26).
Report is 2 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #1756   +/-   ##
=======================================
  Coverage   81.56%   81.56%           
=======================================
  Files         569      569           
  Lines       80801    80804    +3     
=======================================
+ Hits        65902    65905    +3     
  Misses      14899    14899           
Flag Coverage Δ
ActionsForCAP 64.04% <ø> (ø)
AttributeCategoryForCAP 90.45% <ø> (ø)
CAP 86.41% <ø> (ø)
CartesianCategories 89.38% <ø> (ø)
CompilerForCAP 95.89% <ø> (ø)
ComplexesAndFilteredObjectsForCAP 73.55% <ø> (ø)
FreydCategoriesForCAP 82.14% <100.00%> (+<0.01%) ⬆️
GeneralizedMorphismsForCAP 61.76% <ø> (ø)
GradedModulePresentationsForCAP 44.62% <ø> (ø)
GroupRepresentationsForCAP 71.92% <ø> (ø)
GroupsAsCategoriesForCAP 96.69% <ø> (ø)
HomologicalAlgebraForCAP 73.21% <ø> (ø)
InternalExteriorAlgebraForCAP 93.09% <ø> (ø)
LinearAlgebraForCAP 57.41% <ø> (ø)
ModulePresentationsForCAP 69.88% <ø> (ø)
ModulesOverLocalRingsForCAP 90.70% <ø> (ø)
MonoidalCategories 89.84% <ø> (ø)
ToricSheaves 21.79% <ø> (ø)

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.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@mohamed-barakat
mohamed-barakat merged commit f18f21e into homalg-project:master Jun 28, 2025
5 checks passed
@mohamed-barakat
mohamed-barakat deleted the devel branch June 28, 2025 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant