Skip to content

Regenerate CartesianCategories

Codecov / codecov/project succeeded Nov 23, 2023 in 1s

80.92% (+0.02%) compared to 2a0e672

View this Pull Request on Codecov

80.92% (+0.02%) compared to 2a0e672

Details

Codecov Report

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

Comparison is base (2a0e672) 80.89% compared to head (5377eef) 80.92%.

Files Patch % Lines
...ymmetricCartesianClosedCategoriesDerivedMethods.gi 50.00% 1 Missing ⚠️
...tricCocartesianCoclosedCategoriesDerivedMethods.gi 50.00% 1 Missing ⚠️
...SymmetricClosedMonoidalCategoriesDerivedMethods.gi 50.00% 1 Missing ⚠️
...mmetricCoclosedMonoidalCategoriesDerivedMethods.gi 50.00% 1 Missing ⚠️
Additional details and impacted files 
@@            Coverage Diff             @@
##           master    #1488      +/-   ##
==========================================
+ Coverage   80.89%   80.92%   +0.02%     
==========================================
  Files         487      487              
  Lines       62313    62397      +84     
==========================================
+ Hits        50409    50493      +84     
  Misses      11904    11904

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

View more details on Codecov