egraphs-good
egglog
BlogDocsChangelog

Branches performance

Pull requests

[Draft] Fresh sugar via skolemization#741
last run
12 hours ago
respond to feedback
12 hours ago
98c9a80
oflatt-fresh-ids
CodSpeed Performance Gauge
0%
fix variable name
4 days ago
0335fa1
saulshanabrook:fix-fn-bug
CodSpeed Performance Gauge
0%
Pin cargo codspeed version to fix CI#734
last run
12 days ago
Pin cargo codspeed version to fix CI Closes #733 by pinning cargo codspeed version installed in CI The newer version causes an issue currently This PR at least fixed to the old working version so CI is not broken. In the future, we should keep this pinned to not get CI failing randomly
12 days ago
2fb0be7
saulshanabrook:fix-build
CodSpeed Performance Gauge
0%
Make interactive mode a delimiter
18 days ago
af79cac
pavpanchekha:main
CodSpeed Performance Gauge
0%
© 2025 CodSpeed Technology
Home Terms Privacy Docs