Skip to content

Egraph nodes#1

Merged
dewert99 merged 5 commits intocodspeedfrom
egraph_nodes
Mar 20, 2024
Merged

Egraph nodes#1
dewert99 merged 5 commits intocodspeedfrom
egraph_nodes

Conversation

@dewert99
Copy link
Owner

Mirror of egraphs-good#291 for performance comparison

@codspeed-hq
Copy link

codspeed-hq bot commented Mar 20, 2024

CodSpeed Performance Report

Merging #1 will not alter performance

Comparing egraph_nodes (eb5b548) with codspeed (9b8c9f3)

Summary

✅ 84 untouched benchmarks

@dewert99 dewert99 merged commit 8d1ec3c into codspeed Mar 20, 2024
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.

1 participant