Skip to content

Regenerate CartesianCategories

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 174 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L174

Added line #L174 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L176

Added line #L176 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

MonoidalCategories/gap/SymmetricClosedMonoidalCategoriesDerivedMethods.gi#L171

Added line #L171 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

MonoidalCategories/gap/SymmetricCoclosedMonoidalCategoriesDerivedMethods.gi#L173

Added line #L173 was not covered by tests