Skip to content

WithGiven* for monoidal Isomorphisms

Codecov / codecov/project failed Nov 29, 2023 in 1s

80.88% (-0.02%) compared to 0d99008

View this Pull Request on Codecov

80.88% (-0.02%) compared to 0d99008

Details

Codecov Report

Attention: 144 lines in your changes are missing coverage. Please review.

Comparison is base (0d99008) 80.89% compared to head (9698af4) 80.88%.

Files Patch % Lines
...recompiled_categories/MatrixCategoryPrecompiled.gi 54.76% 76 Missing ⚠️
...SymmetricClosedMonoidalCategoriesDerivedMethods.gi 67.92% 17 Missing ⚠️
...mmetricCoclosedMonoidalCategoriesDerivedMethods.gi 66.66% 17 Missing ⚠️
...ymmetricCartesianClosedCategoriesDerivedMethods.gi 73.58% 14 Missing ⚠️
...tricCocartesianCoclosedCategoriesDerivedMethods.gi 72.54% 14 Missing ⚠️
...es/gap/BraidedCartesianCategoriesDerivedMethods.gi 50.00% 2 Missing ⚠️
.../gap/BraidedCocartesianCategoriesDerivedMethods.gi 50.00% 2 Missing ⚠️
...ies/gap/BraidedMonoidalCategoriesDerivedMethods.gi 50.00% 2 Missing ⚠️
Additional details and impacted files 
@@            Coverage Diff             @@
##           master    #1494      +/-   ##
==========================================
- Coverage   80.89%   80.88%   -0.02%     
==========================================
  Files         487      487              
  Lines       62313    62369      +56     
==========================================
+ Hits        50409    50446      +37     
- Misses      11904    11923      +19

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

View more details on Codecov