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

support configuring metrics #25

Merged
merged 4 commits into from
Mar 25, 2025
Merged

support configuring metrics #25

merged 4 commits into from
Mar 25, 2025

Conversation

davidhewitt
Copy link
Contributor

Allow adding additional metrics sinks.

Copy link

hyperlint-ai bot commented Mar 25, 2025

PR Change Summary

Enhanced metrics configuration capabilities by introducing new options for metrics exporters.

  • Added MetricsOptions for configuring additional metrics exporters.

Modified Files

  • CHANGELOG.md

How can I customize these reviews?

Check out the Hyperlint AI Reviewer docs for more information on how to customize the review.

If you just want to ignore it on this PR, you can add the hyperlint-ignore label to the PR. Future changes won't trigger a Hyperlint review.

Note specifically for link checks, we only check the first 30 links in a file and we cache the results for several hours (for instance, if you just added a page, you might experience this). Our recommendation is to add hyperlint-ignore to the PR to ignore the link check for this PR.

What is Hyperlint?

Hyperlint is an AI agent that helps you write, edit, and maintain your documentation.

Learn more about the Hyperlint AI reviewer and the checks that we can run on your documentation.

@codecov-commenter
Copy link

codecov-commenter commented Mar 25, 2025

Codecov Report

Attention: Patch coverage is 85.28302% with 39 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
src/test_utils.rs 81.25% 17 Missing and 4 partials ⚠️
src/config.rs 73.52% 9 Missing ⚠️
src/lib.rs 88.15% 4 Missing and 5 partials ⚠️

📢 Thoughts on this report? Let us know!

@davidhewitt davidhewitt marked this pull request as ready for review March 25, 2025 17:09
@davidhewitt davidhewitt merged commit 9e6483a into main Mar 25, 2025
8 checks passed
@davidhewitt davidhewitt deleted the dh/metrics branch March 25, 2025 17:12
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