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

metrics: use prometheus histogram and summary interfaces #8808

Merged
merged 22 commits into from
Nov 24, 2023

Conversation

taratorio
Copy link
Member

No description provided.

@taratorio taratorio added the do-not-merge PR that is in a merge-able state but is waiting for something else to take place before merging label Nov 21, 2023
@taratorio taratorio changed the title Metrics improve hist sum interfaces metrics: improve histogram and summary interfaces Nov 21, 2023
…rigon into metrics-improve-hist-sum-interfaces
@taratorio taratorio changed the title metrics: improve histogram and summary interfaces metrics: use prometheus histogram and summary interfaces Nov 21, 2023
Base automatically changed from metrics-improve-interfaces to devel November 24, 2023 15:15
@taratorio taratorio removed the do-not-merge PR that is in a merge-able state but is waiting for something else to take place before merging label Nov 24, 2023
@taratorio taratorio marked this pull request as ready for review November 24, 2023 15:19
@taratorio taratorio requested a review from mh0lt November 24, 2023 16:40
@mh0lt mh0lt merged commit 9b74cf0 into devel Nov 24, 2023
6 checks passed
@mh0lt mh0lt deleted the metrics-improve-hist-sum-interfaces branch November 24, 2023 17:50
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.

2 participants