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

Prometheus metrics #2981

Merged
merged 1 commit into from
Jun 28, 2024
Merged

Prometheus metrics #2981

merged 1 commit into from
Jun 28, 2024

Conversation

mutantcornholio
Copy link
Contributor

@mutantcornholio mutantcornholio commented Jun 17, 2024 •
edited
Loading

@mutantcornholio mutantcornholio requested a review from ironoa June 17, 2024 09:27
@mutantcornholio mutantcornholio marked this pull request as draft June 17, 2024 09:27
@mutantcornholio mutantcornholio changed the title WIP: Prometheus metrics Prometheus metrics Jun 19, 2024
@mutantcornholio mutantcornholio marked this pull request as ready for review June 28, 2024 09:50
@mutantcornholio mutantcornholio merged commit 5804c2d into staging Jun 28, 2024
13 checks passed
@mutantcornholio mutantcornholio deleted the yuri/metrics branch June 28, 2024 12:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ironoa ironoa ironoa 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
@mutantcornholio @ironoa