Skip to content

Regenerate CartesianCategories

Tom Kuhmichel e42cc97
Codecov / codecov/patch succeeded Nov 23, 2023 in 0s

95.74% of diff hit (target 80.89%)

View this Pull Request on Codecov

95.74% of diff hit (target 80.89%)

Annotations

Check warning on line 143 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L143 

Added line #L143 was not covered by tests

Check warning on line 145 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L145 

Added line #L145 was not covered by tests

Check warning on line 140 in MonoidalCategories/gap/SymmetricClosedMonoidalCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

MonoidalCategories/gap/SymmetricClosedMonoidalCategoriesDerivedMethods.gi#L140 

Added line #L140 was not covered by tests

Check warning on line 142 in MonoidalCategories/gap/SymmetricCoclosedMonoidalCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

MonoidalCategories/gap/SymmetricCoclosedMonoidalCategoriesDerivedMethods.gi#L142 

Added line #L142 was not covered by tests
View more details on Codecov