Skip to content

added run id to header#90

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

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

Conversation

@kudj
Copy link
Contributor

@kudj kudj commented Jan 13, 2026

added run id to header for better telemetry

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

Did you test it? How, please?

@kudj
Copy link
Contributor Author

kudj commented Jan 14, 2026

Copy link
Contributor

@soustruh soustruh left a comment

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