Skip to content

store/queries: cleanup naming#1193

Merged
drahnr merged 21 commits intonextfrom
bernhard-1134-1161-queries
Sep 4, 2025
Merged

store/queries: cleanup naming#1193
drahnr merged 21 commits intonextfrom
bernhard-1134-1161-queries

Conversation

@drahnr
Copy link
Contributor

@drahnr drahnr commented Sep 2, 2025

Addresses parts of

Ref #1134
Ref #1161

@drahnr drahnr added the no changelog This PR does not require an entry in the `CHANGELOG.md` file label Sep 2, 2025
@drahnr drahnr changed the title store/queries: cleanup store/queries: cleanup naming Sep 3, 2025
@drahnr drahnr marked this pull request as ready for review September 3, 2025 12:58
Copy link
Collaborator

@SantiagoPittella SantiagoPittella left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overall looks good, left a couple comments.

The update to RangeInclusive in the missing functions is to be made in a different PR? I can address the CheckNullifiersByPrefix one in my PR and tackle the other on a separate one.

@drahnr
Copy link
Contributor Author

drahnr commented Sep 3, 2025

The update to RangeInclusive in the missing functions is to be made in a different PR? I can address the CheckNullifiersByPrefix one in my PR and tackle the other on a separate one.

I added the fixes in this PR. I'd suggest to merge yours first, and I'll deal with the remaining RangeInclusive ones in the rebase action.

Copy link
Collaborator

@Mirko-von-Leipzig Mirko-von-Leipzig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I assumed the insertion code was just copied over and didn't proof read it too closely

@drahnr
Copy link
Contributor Author

drahnr commented Sep 4, 2025

Insertion code was carbon copied.

@drahnr drahnr merged commit e6c9e83 into next Sep 4, 2025
6 checks passed
@drahnr drahnr deleted the bernhard-1134-1161-queries branch September 4, 2025 10:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog This PR does not require an entry in the `CHANGELOG.md` file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants