Skip to content

feat: heuristic coloring of logs#10228

Merged
jif-oai merged 2 commits intomainfrom
jif/heurisitc-coloring
Jan 30, 2026
Merged

feat: heuristic coloring of logs#10228
jif-oai merged 2 commits intomainfrom
jif/heurisitc-coloring

Conversation

@jif-oai
Copy link
Collaborator

@jif-oai jif-oai commented Jan 30, 2026

No description provided.

# Conflicts:
#	codex-rs/state/src/bin/logs_client.rs
@jif-oai jif-oai merged commit 079f495 into main Jan 30, 2026
17 checks passed
@jif-oai jif-oai deleted the jif/heurisitc-coloring branch January 30, 2026 17:26
@github-actions github-actions bot locked and limited conversation to collaborators Jan 30, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants