Merge pull request #212 from egraphs-good/interactive-visualizer · egraphs-good/egglog-python@17ffd1a

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.