Skip to content

Replace hyperlight-specific metrics with metrics crate#30

Merged
ludfjig merged 1 commit intomainfrom
metrics
Apr 24, 2025
Merged

Replace hyperlight-specific metrics with metrics crate#30
ludfjig merged 1 commit intomainfrom
metrics

Conversation

@ludfjig
Copy link
Copy Markdown
Contributor

@ludfjig ludfjig commented Apr 22, 2025

Hyperlight metrics were removed in hyperlight-dev/hyperlight#361 so this PR replaces them in this repo as well

closes #34

Signed-off-by: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>
@ludfjig ludfjig merged commit b55de71 into main Apr 24, 2025
22 checks passed
@ludfjig ludfjig deleted the metrics branch April 24, 2025 16:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Replace hyperlight specific metrics with the metrics crate

2 participants