Skip to content

Conversation

@zickgraf
Copy link
Member

including examples

@codecov
Copy link

codecov bot commented Dec 19, 2022

Codecov Report

Base: 76.73% // Head: 76.73% // Increases project coverage by +0.00% 🎉

Coverage data is based on head (d48746a) compared to base (ef9b637).
Patch coverage: 100.00% of modified lines in pull request are covered.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #1208   +/-   ##
=======================================
  Coverage   76.73%   76.73%           
=======================================
  Files         494      494           
  Lines       60418    60411    -7     
=======================================
- Hits        46363    46358    -5     
+ Misses      14055    14053    -2     
Flag Coverage Δ
ActionsForCAP 41.23% <ø> (ø)
AttributeCategoryForCAP 86.34% <ø> (ø)
CAP 81.87% <ø> (ø)
CartesianCategories 92.69% <ø> (ø)
CompilerForCAP 95.12% <ø> (ø)
ComplexesAndFilteredObjectsForCAP 73.17% <ø> (ø)
DeductiveSystemForCAP 25.48% <ø> (ø)
FreydCategoriesForCAP 80.67% <100.00%> (+<0.01%) ⬆️
GeneralizedMorphismsForCAP 62.47% <ø> (ø)
GradedModulePresentationsForCAP 44.57% <ø> (ø)
GroupRepresentationsForCAP 49.72% <ø> (ø)
HomologicalAlgebraForCAP 73.21% <ø> (ø)
InternalExteriorAlgebraForCAP 40.24% <ø> (ø)
LinearAlgebraForCAP 66.27% <ø> (ø)
ModulePresentationsForCAP 68.93% <ø> (ø)
ModulesOverLocalRingsForCAP 90.02% <ø> (ø)
MonoidalCategories 87.00% <ø> (ø)
ToricSheaves 21.79% <ø> (ø)

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

Impacted Files Coverage Δ
FreydCategoriesForCAP/init.g 88.46% <ø> (+2.25%) ⬆️
FreydCategoriesForCAP/read.g 88.88% <ø> (+2.22%) ⬆️
FreydCategoriesForCAP/PackageInfo.g 100.00% <100.00%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

@zickgraf zickgraf merged commit 25b1580 into homalg-project:master Dec 20, 2022
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