Skip to content
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.

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

feat: add page indexes for metadata #1027

Merged
merged 1 commit into from
Jun 26, 2023

Conversation

MichaelLeeHZ
Copy link
Contributor

Rationale

#1000 was reverted in #1026, here to create a new one. See details in #1000

Detailed Changes

  • add page index for metadata

Test Plan

@MichaelLeeHZ MichaelLeeHZ marked this pull request as ready for review June 26, 2023 03:03
@ShiKaiWi ShiKaiWi requested a review from jiacai2050 June 26, 2023 03:30
Copy link
Member

@ShiKaiWi ShiKaiWi left a comment

Choose a reason for hiding this comment

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

LGTM

@ShiKaiWi ShiKaiWi merged commit 1fd7857 into apache:main Jun 26, 2023
6 checks passed
Rachelint added a commit that referenced this pull request Jul 7, 2023
Rachelint added a commit to Rachelint/ceresdb that referenced this pull request Jul 11, 2023
dust1 pushed a commit to dust1/ceresdb that referenced this pull request Aug 9, 2023
## Rationale
apache#1000 was reverted in apache#1026, here to create a new one. See details in
apache#1000

## Detailed Changes
add page index for metadata.
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.

None yet

2 participants