Skip to content
This repository was archived by the owner on Mar 25, 2024. It is now read-only.

feat: add metrics #708

Merged
merged 1 commit into from
Feb 5, 2024
Merged

feat: add metrics #708

merged 1 commit into from
Feb 5, 2024

Conversation

castrojo
Copy link
Member

@castrojo castrojo commented Feb 5, 2024

No description provided.

@castrojo castrojo requested a review from marcoceppi as a code owner February 5, 2024 03:54
@castrojo castrojo enabled auto-merge February 5, 2024 03:54
@castrojo castrojo disabled auto-merge February 5, 2024 03:54
@castrojo castrojo merged commit 8b1fbf1 into main Feb 5, 2024
4 checks passed
@castrojo castrojo deleted the move-metrics branch February 5, 2024 03:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant