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

added error message to constructors MeetSemilatticeOfSingle/MultipleDifferences #265

Merged
merged 1 commit into from
Jun 28, 2023

Conversation

mohamed-barakat
Copy link
Member

No description provided.

@codecov
Copy link

codecov bot commented Jun 28, 2023

Codecov Report

Patch coverage: 55.55% and project coverage change: -0.01 ⚠️

Comparison is base (e78459f) 73.58% compared to head (da2346c) 73.57%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #265      +/-   ##
==========================================
- Coverage   73.58%   73.57%   -0.01%     
==========================================
  Files         322      322              
  Lines       53161    53169       +8     
==========================================
+ Hits        39116    39120       +4     
- Misses      14045    14049       +4     
Flag Coverage Δ
Algebroids 74.53% <ø> (ø)
CatReps 83.16% <ø> (ø)
CategoriesWithAmbientObjects 89.30% <ø> (ø)
CategoryConstructor 82.12% <ø> (ø)
ExteriorPowersCategories 43.70% <ø> (ø)
FiniteCocompletions 96.04% <ø> (ø)
FunctorCategories 63.79% <ø> (ø)
GradedCategories 82.89% <ø> (ø)
InternalModules 80.63% <ø> (ø)
IntrinsicCategories 83.11% <ø> (ø)
IntrinsicGradedModules 50.86% <ø> (ø)
IntrinsicModules 82.13% <ø> (ø)
LazyCategories 73.69% <ø> (ø)
Locales 85.31% <55.55%> (-0.07%) ⬇️
PreSheaves 91.95% <ø> (ø)
SubcategoriesForCAP 80.77% <ø> (ø)
Toposes 89.04% <ø> (ø)
ZariskiFrames 74.31% <ø> (ø)

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

Impacted Files Coverage Δ
Locales/gap/MultipleDifferences.gi 79.82% <50.00%> (-0.36%) ⬇️
Locales/gap/SingleDifferences.gi 86.51% <50.00%> (-0.56%) ⬇️
Locales/PackageInfo.g 100.00% <100.00%> (ø)

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

@mohamed-barakat mohamed-barakat merged commit 5bd5dd0 into homalg-project:master Jun 28, 2023
2 of 4 checks passed
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