Skip to content

Add option to configure prometheus port#3187

Merged
mht-sharma merged 4 commits intomainfrom
prom-port
Apr 23, 2025
Merged

Add option to configure prometheus port#3187
mht-sharma merged 4 commits intomainfrom
prom-port

Conversation

@mht-sharma
Copy link
Contributor

What does this PR do?

Fixes # (issue)

Before submitting

  • This PR fixes a typo or improves the docs (you can dismiss the other checks if that's the case).
  • Did you read the contributor guideline,
    Pull Request section?
  • Was this discussed/approved via a Github issue or the forum? Please add a link
    to it if that's the case.
  • Did you make sure to update the documentation with your changes? Here are the
    documentation guidelines, and
    here are tips on formatting docstrings.
  • Did you write any new necessary tests?

Who can review?

Anyone in the community is free to review the PR once the tests have passed. Feel free to tag
members/contributors who may be interested in your PR.

@mht-sharma mht-sharma changed the title Add prometheus port Add option to configure prometheus port Apr 23, 2025
@HuggingFaceDocBuilderDev

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

Copy link
Contributor

@Narsil Narsil left a comment

Choose a reason for hiding this comment

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

LGTM

@mht-sharma mht-sharma merged commit 02715dc into main Apr 23, 2025
34 checks passed
@mht-sharma mht-sharma deleted the prom-port branch April 23, 2025 15:13
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.

3 participants