Make nightly run egglog in parallel (still benchmarking results sequentially)

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Make nightly run egglog in parallel (still benchmarking results sequentially) #548

Closed oflatt closed 6 months ago

oflatt commented 6 months ago

My main concern with this PR is that it may not be easily killed by nightly any more. Locally, when I try to use ctrl+c it won't die until I spam it ):

Ideas on how to fix this problem welcome