codecov[bot]
commented
11 months ago Codecov Report
Patch coverage: 86.20% and project coverage change: -0.17% :warning:
Comparison is base (
15cec29) 96.84% compared to head (9117faf) 96.68%. Report is 1 commits behind head on main.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## main #107 +/- ## ========================================== - Coverage 96.84% 96.68% -0.17% ========================================== Files 26 27 +1 Lines 1458 1477 +19 ========================================== + Hits 1412 1428 +16 - Misses 46 49 +3 ``` | [Files Changed](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/107?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/stdlib/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/107?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvbW9kdWxlLmps) | `100.00% <ø> (ø)` | | | [src/syntax/GATs.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/107?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9HQVRzLmps) | `95.61% <80.00%> (-0.49%)` | :arrow_down: | | [src/syntax/TheoryInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/107?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcnlJbnRlcmZhY2Uuamw=) | `96.42% <88.88%> (-1.45%)` | :arrow_down: | | [src/models/ModelInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/107?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9Nb2RlbEludGVyZmFjZS5qbA==) | `97.63% <100.00%> (ø)` | | | [src/stdlib/models/Arithmetic.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/107?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvQXJpdGhtZXRpYy5qbA==) | `100.00% <100.00%> (ø)` | |:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
This allows us to explicitly declare that the generated methods in the associated theory module extend some other methods.