search

AlgebraicJulia / AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
https://algebraicjulia.github.io/AlgebraicRewriting.jl/
MIT License
25 stars 5 forks source link

Add authors section to docs page #40

Closed aaguinal closed 8 months ago

codecov[bot] commented 8 months ago

Codecov Report

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

Comparison is base (6457bad) 76.97% compared to head (1e7fba9) 76.97%. Report is 2 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #40 +/- ## ======================================= Coverage 76.97% 76.97% ======================================= Files 28 28 Lines 1681 1681 ======================================= Hits 1294 1294 Misses 387 387 ```

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

aaguinal commented 8 months ago

@kris-brown I think you have to click merge. I don't have authorization. Thanks!