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

Forester autogeneration #149

Open kris-brown opened 3 months ago

kris-brown commented 3 months ago

Generate web documentation of all registered GATs, GAT morphisms, and models.

codecov[bot] commented 3 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 94.91%. Comparing base (9ce02fa) to head (b3eca72).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #149 +/- ## ========================================== + Coverage 94.52% 94.91% +0.39% ========================================== Files 38 39 +1 Lines 2082 2203 +121 ========================================== + Hits 1968 2091 +123 + Misses 114 112 -2 ```

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