Skip to content

feat(logs): Add stream id#664

Merged
iambriccardo merged 3 commits intomainfrom
improve-logging-streams
Apr 10, 2026
Merged

feat(logs): Add stream id#664
iambriccardo merged 3 commits intomainfrom
improve-logging-streams

Conversation

@iambriccardo
Copy link
Copy Markdown
Contributor

@iambriccardo iambriccardo commented Apr 10, 2026

This PR adds a new stream ID to the streams to make debugging easier.

@iambriccardo iambriccardo marked this pull request as ready for review April 10, 2026 11:16
@iambriccardo iambriccardo requested a review from a team as a code owner April 10, 2026 11:16
@coveralls
Copy link
Copy Markdown

coveralls commented Apr 10, 2026

Coverage Status

coverage: 78.373% (-0.09%) from 78.462% — improve-logging-streams into main

@iambriccardo iambriccardo enabled auto-merge (squash) April 10, 2026 12:03
@iambriccardo iambriccardo merged commit 3065d57 into main Apr 10, 2026
13 checks passed
@iambriccardo iambriccardo deleted the improve-logging-streams branch April 10, 2026 12:23
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