search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21 stars 2 forks source link

pull `generators` from AlgebraicInterfaces #117

Closed olynch closed 9 months ago

codecov[bot] commented 9 months ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

Comparison is base (e290b51) 96.03% compared to head (1892d34) 96.03%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #117 +/- ## ======================================= Coverage 96.03% 96.03% ======================================= Files 34 34 Lines 1918 1918 ======================================= Hits 1842 1842 Misses 76 76 ``` | [Files](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/117?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/models/Presentations.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/117?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9QcmVzZW50YXRpb25zLmps) | `98.95% <ø> (ø)` | |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.