Skip to content

Feat/1044 rename stream state log to introspection state log#1046

Merged
yokofly merged 13 commits intodevelopfrom
feat/1044-rename-stream-state-log-to-introspection-state-log
Dec 9, 2025
Merged

Feat/1044 rename stream state log to introspection state log#1046
yokofly merged 13 commits intodevelopfrom
feat/1044-rename-stream-state-log-to-introspection-state-log

Conversation

@yokofly
Copy link
Copy Markdown
Collaborator

@yokofly yokofly commented Dec 9, 2025

PR checklist:

  • Did you run ClangFormat ?
  • Did you separate headers to a different section in existing community code base ?
  • Did you surround proton: starts/ends for new code in existing community code base ?

Please write user-readable short description of the changes: Since it is not only stream for now

@yokofly yokofly self-assigned this Dec 9, 2025
@yokofly
Copy link
Copy Markdown
Collaborator Author

yokofly commented Dec 9, 2025

@codex review

Copy link
Copy Markdown
Contributor

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

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

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@yokofly
Copy link
Copy Markdown
Collaborator Author

yokofly commented Dec 9, 2025

@codex review

@chatgpt-codex-connector
Copy link
Copy Markdown
Contributor

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@yokofly yokofly linked an issue Dec 9, 2025 that may be closed by this pull request
@yokofly yokofly merged commit da1fe2f into develop Dec 9, 2025
20 checks passed
@yokofly yokofly deleted the feat/1044-rename-stream-state-log-to-introspection-state-log branch December 9, 2025 06:50
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.

Rename stream_state_log to introspection_state_log

3 participants