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.

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

chore: update recon sync metric name #174

Merged
merged 1 commit into from
May 14, 2024
Merged

chore: update recon sync metric name #174

merged 1 commit into from
May 14, 2024

Conversation

dav1do
Copy link
Contributor

@dav1do dav1do commented May 13, 2024

changed in rust-ceramic PR #343

@dav1do
chore: update recon sync metric name
923376d 
changed in rust-ceramic PR #343
@dav1do dav1do requested review from 3benbox and samika98 May 13, 2024 20:23
3benbox
3benbox approved these changes May 14, 2024
View reviewed changes
Copy link
Contributor

@3benbox 3benbox left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@3benbox 3benbox added this pull request to the merge queue May 14, 2024
Merged via the queue into main with commit 13e96fb May 14, 2024
5 checks passed
@dav1do dav1do deleted the chore/recon-metric-rename branch May 14, 2024 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@3benbox 3benbox 3benbox approved these changes

@samika98 samika98 Awaiting requested review from samika98

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dav1do @3benbox