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

fix: 🐛 endpoint is reserved in prometheus #494

Merged

severo merged 2 commits into main from fix-metrics

Aug 2, 2022

Collaborator

severo commented Aug 1, 2022

(endpoint='http' for example)

severo added 2 commits

August 1, 2022 20:05


          fix: 🐛 endpoint is reserved in prometheus

(endpoint='http' for example)


          feat: 🎸 update docker image

338fd9f

HuggingFaceDocBuilderDev commented Aug 1, 2022 •

edited

The documentation is not available anymore as the PR was closed or merged.

severo merged commit 9b4065c into main

severo deleted the fix-metrics branch

August 2, 2022 17:17

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment