Merge pull request #215 from egraphs-good/version-8.0.0 · egraphs-good/egglog-python@12d8d5f

A new version v3 is available at https://github.com/CodSpeedHQ/action/releases . You're currently using version v2. Please update to the latest version for improved features and bug fixes.