Skip to content

WithGiven* for MorphismFromInternalHomToTensorProductWithGivenObjects

Tom Kuhmichel 25bd48e
This check has been archived and is scheduled for deletion. Learn more about checks retention
Codecov / codecov/project failed Oct 17, 2023 in 1s

80.90% (-0.02%) compared to cf75f32

View this Pull Request on Codecov

80.90% (-0.02%) compared to cf75f32

Details

Codecov Report

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

Files Coverage Δ
...ies/gap/BraidedMonoidalCategoriesDerivedMethods.gi 100.00% <100.00%> (+16.66%) ⬆️
...es/gap/BraidedCartesianCategoriesDerivedMethods.gi 90.00% <83.33%> (+6.66%) ⬆️
.../gap/BraidedCocartesianCategoriesDerivedMethods.gi 90.00% <83.33%> (+6.66%) ⬆️
...SymmetricClosedMonoidalCategoriesDerivedMethods.gi 84.53% <0.00%> (+0.27%) ⬆️
...ymmetricCartesianClosedCategoriesDerivedMethods.gi 78.83% <63.33%> (+0.18%) ⬆️
...tricCocartesianCoclosedCategoriesDerivedMethods.gi 79.13% <59.37%> (-0.04%) ⬇️
...SymmetricClosedMonoidalCategoriesDerivedMethods.gi 85.74% <53.33%> (-0.97%) ⬇️
...mmetricCoclosedMonoidalCategoriesDerivedMethods.gi 81.29% <50.00%> (-0.93%) ⬇️
...recompiled_categories/MatrixCategoryPrecompiled.gi 66.07% <56.89%> (+0.01%) ⬆️

... and 3 files with indirect coverage changes

📢 Thoughts on this report? Let us know!.