bug: incorrect filename and missing terminal output example
Open
Nobody has claimed this yet.
community-request
documentation
waiting-on-maintainers
- Dominant language
- Python
- Stars
- 1.2k
- Forks
- 349
- Avg merge
- 1d 21h
- Merged PRs (30d)
- 318
Description
Two issues in FAQs on "How to Profile Your Resources Server":
- Refers to
resources_servers/math_with_judge/data/dapo17k_bytedtsinghua_train.jsonlbut this file is not in repo. I tried a similarly named file (resources_servers/math_with_judge/data/dapo17k_bytedtsinghua_train_metrics.json) and received the following error:json.decoder.JSONDecodeError: Expecting property name enclosed in double quotes: line 2 column 1 (char 2) - No terminal output example given for "After
ng_collect_rollouts finishes, ctrl+c to quit your servers. You should see some output in the terminal like the following:"
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Open docs/reference/faq.md and review the “How to Profile Your Resources Server” section. Check the referenced resources_servers/math_with_judge/data path to identify the valid filename, then use the issue’s reported JSONDecodeError and the ng_collect_rollouts step to determine what terminal output example should be documented. Done means the FAQ points to an existing file and includes the requested output example.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100