Skip to content

Remove workaround for live metrics race condition #4312

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.

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

trask
Copy link
Member

@trask trask commented Jul 13, 2025

@trask trask force-pushed the live-metrics-race branch 3 times, most recently from e80fde8 to e88d996 Compare July 13, 2025 20:37
@trask trask force-pushed the live-metrics-race branch 2 times, most recently from 41a3c8f to 02d49e9 Compare July 16, 2025 21:42
@trask trask force-pushed the live-metrics-race branch from 9b1d9b3 to 29c6b79 Compare July 23, 2025 01:26
@trask trask force-pushed the live-metrics-race branch from 29c6b79 to af1327a Compare August 4, 2025 22:57
@trask trask marked this pull request as ready for review August 6, 2025 00:11
@trask trask force-pushed the live-metrics-race branch from af1327a to 8ae8c98 Compare August 6, 2025 00:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant