Skip to content

Conversation

@korikuzma
Copy link
Member

I forgot we already used polars

@korikuzma korikuzma requested a review from jsstevenson July 16, 2025 20:47
@korikuzma korikuzma self-assigned this Jul 16, 2025
@korikuzma korikuzma added priority:low Low priority build Changes that affect the build system or dependencies labels Jul 16, 2025
@korikuzma korikuzma merged commit 0af1c27 into main Jul 16, 2025
20 checks passed
@korikuzma korikuzma deleted the rm-dup-polars branch July 16, 2025 20:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build Changes that affect the build system or dependencies priority:low Low priority

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants