refactor: change namings of `Rope` #146

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

Merged

h-a-n-a merged 1 commit into main from refactor-names

Dec 16, 2024

Collaborator

h-a-n-a commented Dec 16, 2024

No description provided.


          refactor: namings of Rope

a31c525

codspeed-hq bot commented Dec 16, 2024

CodSpeed Performance Report

Merging #146 will not alter performance

_{Comparing refactor-names (a31c525) with main (b44c5c0)}

Summary

✅ 7 untouched benchmarks

h-a-n-a merged commit 542aef3 into main

6 checks passed

h-a-n-a deleted the refactor-names branch

December 16, 2024 03:46

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

Labels

None yet