Skip to content

issues Search Results · language:Dune language:JavaScript language:HTML language:Python language:JavaScript language:Python

Filter by

47.4M results  (793 ms)

47.4M results

Summary download_nwb.ipynb inlines ~40 lines of HTTP range-request and tqdm plumbing to implement a chunked downloader with a progress bar. This code is not pedagogically useful — readers interested in ...

Coverage gap in `backend/src/agents/tools.py`: - Line 523 — `if not isinstance(item, dict): continue` inside the JSON-LD parsing loop. - Lines 570-571 — outer `except Exception` wrapping the whole ...

- Briefly describe the bug I have designed some GUIs in Figma and planned on using tkdesigner to convert the Figma design into usable tkinter code. Yesterday I tried to export the entire project ...
bug

新脚本貌似取消了日志查看,感觉看不到日志不知道脚本的运行情况呀。

Summary The fenced code block containing the ASCII flow diagram in docs/branching.md at line 199 is missing a language identifier, which violates the MD040 markdownlint rule (fenced-code-language). Details ...

Description After deleting a session in the web UI, the sidebar still shows the deleted session until a manual page refresh. Clicking the stale entry shows a blank conversation pane with no error message. ...
Bug
needs-triage

Summary In docs/branching.md, the term cherry-picking is hyphenated inconsistently: - Line 15 (TOC): Cherry-picking ✅ (hyphenated — correct) - Line 20 (TOC): Cherry picking ❌ (non-hyphenated) - ...

TL;DR In multi-step tasks using the default SHARED verifier environment mode, the grading harness (/tests/test.sh) and the previous step s verifier outputs (/logs/verifier/reward.txt, /logs/verifier/test-stdout.txt) ...
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.