New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: add a drop_index parameter #44

Merged

12rambau merged 2 commits into main from drop-index

Dec 19, 2024

Member

12rambau commented Dec 18, 2024 •

edited

Loading

I left this modification here even though it will never be useful until Google solves this: https://issuetracker.google.com/issues/382453603.

So it's an overkill but a small one and I hope it will avoid bugs in the future.

Fix #43

12rambau added 2 commits

December 18, 2024 20:02


          fix: add a drop_index parameter

4e248b6


          test: fix the test fc construction

d00f4ed

12rambau merged commit 30bbe90 into main

12 checks passed

12rambau deleted the drop-index branch

December 19, 2024 18:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet