Closed zickgraf closed 1 year ago
The CI should succeed once https://github.com/homalg-project/CategoricalTowers/pull/181 is merged.
Patch coverage: 100.00
% and project coverage change: +0.02
:tada:
Comparison is base (
0a4322f
) 79.34% compared to head (3ce6bf8
) 79.36%.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.
Note: One could turn
MorphismBetweenStandardConeObjects
into a CAP operation, makeMorphismBetweenStandardConeObjectsWithGivenObjects
its WithGiven variant and then probably remove some manually added "derivation" ofMorphismBetweenStandardConeObjects
fromMorphismBetweenStandardConeObjectsWithGivenObjects
.