Skip to content

Conversation

@szarnyasg
Copy link
Member

@szarnyasg szarnyasg commented Mar 7, 2023

Fixes #222

@szarnyasg szarnyasg force-pushed the minimize-with-duckdb branch 2 times, most recently from 91572b5 to b346c68 Compare March 7, 2023 22:49
@szarnyasg szarnyasg marked this pull request as ready for review March 7, 2023 22:49
@szarnyasg szarnyasg force-pushed the minimize-with-duckdb branch from b346c68 to c0f1da7 Compare March 14, 2023 12:43
@szarnyasg szarnyasg merged commit 7c506db into main Mar 14, 2023
@szarnyasg szarnyasg deleted the minimize-with-duckdb branch March 14, 2023 16:55
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.

Minimizing the graph is very slow

2 participants