AlgebraicJulia / GATlab.jl

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

Change name to GATlab #93

Closed olynch closed 11 months ago

olynch commented 11 months ago

As suggested by https://github.com/JuliaRegistries/General/pull/91027#issuecomment-1711030083

codecov[bot] commented 11 months ago

Codecov Report

Patch coverage: 100.00% and project coverage change: -0.09% :warning:

Comparison is base (51f675a) 95.64% compared to head (2b4c7b7) 95.55%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #93 +/- ## ========================================== - Coverage 95.64% 95.55% -0.09% ========================================== Files 22 22 Lines 1148 1148 ========================================== - Hits 1098 1097 -1 - Misses 50 51 +1 ``` | [Files Changed](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/93?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/syntax/ExprInterop.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/93?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9FeHBySW50ZXJvcC5qbA==) | `98.59% <ø> (ø)` | | | [src/syntax/Scopes.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/93?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9TY29wZXMuamw=) | `93.97% <ø> (ø)` | | | [src/GATlab.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/93?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL0dBVGxhYi5qbA==) | `100.00% <100.00%> (ø)` | | ... and [1 file with indirect coverage changes](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/93/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia)

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