Skip to content

remove method with underspecified filters - #1757

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

remove method with underspecified filters#1757
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 30, 2025

Copy link
Copy Markdown

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.56%. Comparing base (f18f21e) to head (b14f0b7).
Report is 2 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1757      +/-   ##
==========================================
- Coverage   81.56%   81.56%   -0.01%     
==========================================
  Files         569      569              
  Lines       80804    80802       -2     
==========================================
- Hits        65905    65903       -2     
  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% <ø> (ø)
GeneralizedMorphismsForCAP 61.73% <100.00%> (-0.04%) ⬇️
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 35b0c27 into homalg-project:master Jun 30, 2025
5 checks passed
@mohamed-barakat
mohamed-barakat deleted the devel branch June 30, 2025 14:29
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