Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

WithGivens for monoidal and (co)cartesian derivations #1494

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

WithGiven* for monoidal Isomorphisms

9698af4
Select commit
Loading
Failed to load commit list.
Open

WithGivens for monoidal and (co)cartesian derivations #1494

WithGiven* for monoidal Isomorphisms
9698af4
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Nov 29, 2023 in 1s

63.17% of diff hit (target 80.89%)

View this Pull Request on Codecov

63.17% of diff hit (target 80.89%)

Annotations

Check warning on line 18 in CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi#L18 

Added line #L18 was not covered by tests

Check warning on line 30 in CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi#L30 

Added line #L30 was not covered by tests

Check warning on line 18 in CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi#L18 

Added line #L18 was not covered by tests

Check warning on line 30 in CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi#L30 

Added line #L30 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L585 

Added line #L585 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L588-L589 

Added lines #L588 - L589 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L710 

Added line #L710 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L713-L714 

Added lines #L713 - L714 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L729 

Added line #L729 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L732-L733 

Added lines #L732 - L733 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L895-L897 

Added lines #L895 - L897 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L899 

Added line #L899 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L901 

Added line #L901 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L593 

Added line #L593 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L596-L597 

Added lines #L596 - L597 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L715 

Added line #L715 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L718-L719 

Added lines #L718 - L719 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L733 

Added line #L733 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L736-L737 

Added lines #L736 - L737 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L899-L901 

Added lines #L899 - L901 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L903 

Added line #L903 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L905 

Added line #L905 was not covered by tests

Check warning on line 2897 in LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi#L2891-L2897 

Added lines #L2891 - L2897 were not covered by tests

Check warning on line 2901 in LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi#L2899-L2901 

Added lines #L2899 - L2901 were not covered by tests

Check warning on line 2905 in LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi#L2903-L2905 

Added lines #L2903 - L2905 were not covered by tests
View more details on Codecov