Skip to content

added run id to header - #90

Merged
kudj merged 1 commit into
masterfrom
add-run-id-header
Jan 15, 2026
Merged

added run id to header#90
kudj merged 1 commit into
masterfrom
add-run-id-header

Conversation

@kudj

@kudj kudj commented Jan 13, 2026

Copy link
Copy Markdown
Contributor

added run id to header for better telemetry

@kudj
kudj requested a review from a team January 13, 2026 14:28
@ZdenekSrotyr

Copy link
Copy Markdown

Did you test it? How, please?

@kudj

kudj commented Jan 14, 2026

Copy link
Copy Markdown
Contributor Author

@soustruh soustruh left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

We clarified what will happen when the .get() results in None value, so no problems with that! ദ്ദി(ᵔᗜᵔ)

@kudj
kudj merged commit b8a89ca into master Jan 15, 2026
5 checks passed
@kudj
kudj deleted the add-run-id-header branch January 15, 2026 10: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