JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

https://juliasymbolics.github.io/Metatheory.jl/dev/

MIT License

362 stars 47 forks source link

Bump docstring extensions #131

Closed ChrisRackauckas closed 2 years ago

ChrisRackauckas commented 2 years ago

Please release this tomorrow. Why is there a breaking on master?

codecov-commenter commented 2 years ago

Codecov Report

Merging #131 (4c28368) into master (3e0519c) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #131   +/-   ##
=======================================
  Coverage   74.82%   74.82%           
=======================================
  Files          15       15           
  Lines        1434     1434           
=======================================
  Hits         1073     1073           
  Misses        361      361

:mega: Codecov can now indicate which changes are the most critical in Pull Requests. Learn more