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

fix(core): op metrics op_names mismatch #14716

Merged
merged 3 commits into from
May 24, 2022
Merged

fix(core): op metrics op_names mismatch #14716

merged 3 commits into from
May 24, 2022

Conversation

AaronO
Copy link
Contributor

@AaronO AaronO commented May 24, 2022

No description provided.

@AaronO AaronO requested a review from bartlomieju as a code owner May 24, 2022 19:26
@AaronO AaronO merged commit 5e62ee3 into denoland:main May 24, 2022
@AaronO AaronO deleted the fix/metrics-core-op-names-mismatch branch May 24, 2022 20:21
@AaronO AaronO restored the fix/metrics-core-op-names-mismatch branch May 25, 2022 15:18
kitsonk pushed a commit that referenced this pull request May 27, 2022
@AaronO @kitsonk
fix(core): op metrics op_names mismatch (#14716)
f81ea85
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bartlomieju bartlomieju bartlomieju approved these changes

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

Successfully merging this pull request may close these issues.

None yet
2 participants
@AaronO @bartlomieju