Skip to content

Fix typo in pyproject.toml description#419

Merged
saulshanabrook merged 1 commit into
egraphs-good:mainfrom
AYadrov:patch-1
Jun 23, 2026
Merged

Fix typo in pyproject.toml description#419
saulshanabrook merged 1 commit into
egraphs-good:mainfrom
AYadrov:patch-1

Conversation

@AYadrov

@AYadrov AYadrov commented Jun 23, 2026

Copy link
Copy Markdown
Contributor

Little typo that I observed today:)

@codspeed-hq

codspeed-hq Bot commented Jun 23, 2026

Copy link
Copy Markdown

Merging this PR will not alter performance

✅ 12 untouched benchmarks
⏩ 2 skipped benchmarks1


Comparing AYadrov:patch-1 (59b2228) with main (0c25eaf)

Open in CodSpeed

Footnotes

  1. 2 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports.

@saulshanabrook

Copy link
Copy Markdown
Member

Thank you!

@saulshanabrook saulshanabrook merged commit 6b2016e into egraphs-good:main Jun 23, 2026
19 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants