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

[release/8.0-preview1] Fix metrics error when switching application #647

Merged
merged 2 commits into from
Nov 2, 2023
Merged

[release/8.0-preview1] Fix metrics error when switching application #647

merged 2 commits into from
Nov 2, 2023

Conversation

JamesNK
Copy link
Member

@JamesNK JamesNK commented Nov 2, 2023

Port #640

@davidfowl davidfowl merged commit 91441f5 into release/8.0-preview1 Nov 2, 2023
6 checks passed
@davidfowl davidfowl deleted the jamesnk/metrics-issue-p1 branch November 2, 2023 05:14
joperezr added a commit that referenced this pull request Nov 14, 2023
@joperezr
Merged PR 35034: Merge branch 'release/8.0-preview1' into 'internal/r…
f58a51b 
…elease/8.0-preview1'

Related work items: #592, #602, #607, #617, #622, #624, #626, #627, #632, #638, #639, #640, #644, #647, #649, #650, #651, #652, #653, #656, #663
@github-actions github-actions bot locked and limited conversation to collaborators Apr 30, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@tlmii tlmii tlmii approved these changes

@dbreshears dbreshears dbreshears approved these changes

@davidfowl davidfowl davidfowl approved these changes

@eerhardt eerhardt Awaiting requested review from eerhardt

@joperezr joperezr Awaiting requested review from joperezr

Assignees
No one assigned
Labels
area-dashboard
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@JamesNK @davidfowl @dbreshears @tlmii @danmoseley