Skip to content

Improve reporter output for different environments#91

Merged
akiko-keyio merged 1 commit intomasterfrom
codex/为不同环境设置进度条显示方式
Jun 20, 2025

Hidden character warning

The head ref may contain hidden characters: "codex/\u4e3a\u4e0d\u540c\u73af\u5883\u8bbe\u7f6e\u8fdb\u5ea6\u6761\u663e\u793a\u65b9\u5f0f"
Merged

Improve reporter output for different environments#91
akiko-keyio merged 1 commit intomasterfrom
codex/为不同环境设置进度条显示方式

Conversation

@akiko-keyio
Copy link
Copy Markdown
Owner

Summary

  • adjust RichReporter to detect Jupyter
  • keep progress bar in notebooks and print summary in terminals

Testing

  • ruff format src/node/reporters.py
  • ruff check src/node/reporters.py
  • mypy .
  • pytest --cov=src
  • coverage report --fail-under=90

https://chatgpt.com/codex/tasks/task_e_6854e6ac00e8832ba155128a710b70b3

@akiko-keyio akiko-keyio merged commit bd427a2 into master Jun 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant