Closed ajpal closed 5 months ago
Going to close https://github.com/egraphs-good/eggcc/pull/565, I'm not sure what exactly is going on in that PR, but one of the other little changes I made in that diff must be slowing down the CI.
Going to close https://github.com/egraphs-good/eggcc/pull/565, I'm not sure what exactly is going on in that PR, but one of the other little changes I made in that diff must be slowing down the CI.