Add check boxes to nightly so we can filter results - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Add check boxes to nightly so we can filter results #506

Closed oflatt closed 4 months ago