Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Objectify -> CreateCapCategory* #162

Merged
merged 1 commit into from
Jul 11, 2023
Merged

Conversation

TKuh
Copy link
Contributor

@TKuh TKuh commented Jul 10, 2023

@codecov
Copy link

codecov bot commented Jul 11, 2023

Codecov Report

Patch coverage: 100.00% and no project coverage change.

Comparison is base (42ec479) 79.11% compared to head (806fd98) 79.11%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #162   +/-   ##
=======================================
  Coverage   79.11%   79.11%           
=======================================
  Files          91       91           
  Lines        5999     5999           
=======================================
  Hits         4746     4746           
  Misses       1253     1253           
Flag Coverage Δ
BBGG 100.00% <ø> (ø)
Bicomplexes 84.12% <ø> (ø)
ComplexesCategories 82.09% <ø> (ø)
DerivedCategories 73.46% <ø> (ø)
HomotopyCategories 80.93% <ø> (ø)
QuotientCategories 86.26% <ø> (ø)
StableCategories 100.00% <ø> (ø)
ToolsForHigherHomologicalAlgebra 75.63% <ø> (ø)
TriangulatedCategories 73.49% <100.00%> (ø)

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

Impacted Files Coverage Δ
TriangulatedCategories/gap/CategoryOfTriangles.gi 47.23% <100.00%> (ø)

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

@kamalsaleh kamalsaleh merged commit df8d95b into homalg-project:master Jul 11, 2023
4 checks passed
@kamalsaleh
Copy link
Member

Thank you very much

@TKuh TKuh deleted the objectify branch July 11, 2023 16:11
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.

2 participants