Skip to content

Conversation

@aristidesstaffieri
Copy link
Contributor

What

Fixes usage of pool worker in metrics service
Correctly registers pool metrics

Why

Pool metrics emitted incorrectly

Known limitations

N/A

Issue that this PR addresses

#211

Checklist

PR Structure

  • It is not possible to break this PR down into smaller PRs.
  • This PR does not mix refactoring changes with feature changes.
  • This PR's title starts with name of package that is most changed in the PR, or all if the changes are broad or impact many packages.

Thoroughness

  • This PR adds tests for the new functionality or fixes.
  • All updated queries have been tested (refer to this check if the data set returned by the updated query is expected to be same as the original one).

Release

  • This is not a breaking change.
  • This is ready to be tested in development.
  • The new functionality is gated with a feature flag if this is not ready for production.

@aristidesstaffieri aristidesstaffieri self-assigned this Nov 12, 2025
@aristidesstaffieri aristidesstaffieri requested a review from a team November 12, 2025 17:13
@aristidesstaffieri aristidesstaffieri merged commit 9e86ca0 into main Nov 13, 2025
9 checks passed
@aristidesstaffieri aristidesstaffieri deleted the fix/worker-pool-metrics branch November 13, 2025 16:20
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.

3 participants