Skip to content

fix metrics#2097

Merged
palfrey merged 10 commits intoTraceMachina:mainfrom
MarcusSorealheis:bugfix-metrics
Feb 13, 2026
Merged

fix metrics#2097
palfrey merged 10 commits intoTraceMachina:mainfrom
MarcusSorealheis:bugfix-metrics

Conversation

@MarcusSorealheis
Copy link
Collaborator

@MarcusSorealheis MarcusSorealheis commented Dec 15, 2025

Description

Aligns metrics format to standard format as it live in lots of places and I missed some.

Fixes #2096

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • This change requires a documentation update

How Has This Been Tested?

Will be tested by users deploying with docker-compose.

Checklist

  • Updated documentation if needed
  • Tests added/amended
  • bazel test //... passes locally
  • PR is contained in a single commit, using git amend see some docs

This change is Reviewable

Copy link
Member

@palfrey palfrey left a comment

Choose a reason for hiding this comment

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

Tiny item about gRPC capitalisation, otherwise good to go

@palfrey palfrey added this pull request to the merge queue Feb 13, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Feb 13, 2026
@palfrey palfrey merged commit e6c7097 into TraceMachina:main Feb 13, 2026
39 of 40 checks passed
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.

Docker compose quick start missing metrics

2 participants