Skip to content

d&i IteratedListOfActions#1850

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:IteratedListOfActions
Jun 23, 2026
Merged

d&i IteratedListOfActions#1850
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:IteratedListOfActions

Conversation

@mohamed-barakat

Copy link
Copy Markdown
Member

No description provided.

@mohamed-barakat mohamed-barakat marked this pull request as ready for review June 23, 2026 19:17
@codecov

codecov Bot commented Jun 23, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 34.00000% with 33 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.87%. Comparing base (aeb16e8) to head (dcc1f9f).

Files with missing lines Patch % Lines
CompilerForCAP/gap/Logic.gi 26.66% 22 Missing ⚠️
CompilerForCAP/gap/InferDataTypes.gi 12.50% 7 Missing ⚠️
CAP/gap/ToolsForCategories.gi 33.33% 4 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1850      +/-   ##
==========================================
- Coverage   80.90%   80.87%   -0.03%     
==========================================
  Files         587      587              
  Lines       85861    85907      +46     
==========================================
+ Hits        69468    69481      +13     
- Misses      16393    16426      +33     
Flag Coverage Δ
ActionsForCAP 64.04% <ø> (ø)
AdditiveClosuresForCAP 82.28% <ø> (ø)
AttributeCategoryForCAP 90.45% <ø> (ø)
CAP 86.37% <50.00%> (-0.02%) ⬇️
CartesianCategories 84.12% <ø> (ø)
CompilerForCAP 95.39% <30.95%> (-0.42%) ⬇️
ComplexesAndFilteredObjectsForCAP 73.56% <ø> (ø)
FreydCategoriesForCAP 82.98% <ø> (ø)
GeneralizedMorphismsForCAP 61.73% <ø> (ø)
GradedModulePresentationsForCAP 44.78% <ø> (ø)
GroupRepresentationsForCAP 73.85% <ø> (ø)
GroupsAsCategoriesForCAP 90.90% <ø> (ø)
HomologicalAlgebraForCAP 73.21% <ø> (ø)
InternalExteriorAlgebraForCAP 93.09% <ø> (ø)
LinearAlgebraForCAP 56.00% <ø> (ø)
LinearClosuresForCAP 36.18% <ø> (ø)
ModulePresentationsForCAP 75.05% <ø> (ø)
ModulesOverLocalRingsForCAP 90.70% <ø> (ø)
MonoidalCategories 90.10% <ø> (ø)
ToricSheaves 21.79% <ø> (ø)

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

☔ View full report in Codecov by Harness.
📢 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 1b5e83f into homalg-project:master Jun 23, 2026
16 of 19 checks passed
@mohamed-barakat mohamed-barakat deleted the IteratedListOfActions branch June 23, 2026 19:41
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