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.

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

Added a metric for number of indexes #4711

Merged
merged 1 commit into from
Mar 12, 2024
Merged

Added a metric for number of indexes #4711

merged 1 commit into from
Mar 12, 2024

Conversation

fulmicoton
Copy link
Contributor

No description provided.

@fulmicoton fulmicoton force-pushed the metric-for-number-of-indexes branch from a17e45c to 515b202 Compare March 12, 2024 02:34
@fulmicoton fulmicoton requested a review from PSeitz March 12, 2024 02:40
PSeitz
PSeitz approved these changes Mar 12, 2024
View reviewed changes
Copy link
Contributor

@PSeitz PSeitz left a comment

Choose a reason for hiding this comment

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

We have ControlPlaneModelMetrics and ControlPlaneMetrics. They look very similar, do we need both?

@fulmicoton fulmicoton force-pushed the metric-for-number-of-indexes branch from 515b202 to 6f87b55 Compare March 12, 2024 05:31
@fulmicoton fulmicoton enabled auto-merge (squash) March 12, 2024 05:31
@fulmicoton fulmicoton merged commit 9881127 into main Mar 12, 2024
4 checks passed
@fulmicoton fulmicoton deleted the metric-for-number-of-indexes branch March 12, 2024 05:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@PSeitz PSeitz PSeitz approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fulmicoton @PSeitz