chore: add prometheus metrics #1521

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

Open

olevski wants to merge 1 commit into master from add-prometheus

Member

olevski commented Jun 28, 2023 •

edited

Loading

Adding prometheus metrics.

TODO:

ignore health checks
do not include so many labels in the metrics


          chore: add metrics

b1cf777

olevski requested a review from a team as a code owner

June 28, 2023 12:16

olevski deployed to renku-ci-nb-1521

June 28, 2023 12:16

— with

GitHub Actions Active

Contributor

RenkuBot commented Jun 28, 2023

You can access the deployment of this PR at https://renku-ci-nb-1521.dev.renku.ch

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

Labels

None yet