search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Nightly Tex Table #530

Closed ryan-berger closed 4 months ago

ryan-berger commented 4 months ago

This PR generates a tex table similar to what nightlies have on our site, except latex. It also pushes the line count table generator into the nightly infra.

Currently the blocker on this PR would be installing tokei which is a line counting too. Should be easily installed with cargo install tokei, but I'm unsure how best to get it installed (run it across the system? run it in our script?)

oflatt commented 4 months ago

If cargo install tokei in the nightly script just works that sounds good to me