issues Search Results · language:Dune language:Python language:JavaScript is:public language:JavaScript language:JavaScript
Filter by
40.9M results
Describe the bug Several UI texts in the Open Roberta Lab contain typos, missing punctuation, inconsistent wording,
mixed German/English labels, and inconsistent German user address forms.
Examples of ...
Two related robustness issues in the MCP task/cancellation path.
1. MCPTask.settle() is not idempotent — a cancel racing natural completion can be overwritten
MCPTask.settle() (contrib/mcp/tasks.py:144-150) ...
Submission URL
https://github.com/GanjinZero/trace_cayley_hamilton_newton
Model
Seed Prover (ByteDance)
How this solution was produced (optional)
Automatically proved by Seed Prover.
Acknowledgements ...
submission
🤖 AI-generated —
Follow-up to #3 (Identifier detection). #3 shipped the first slice — leading-zero codes / phone numbers read
digit-by-digit. This issue tracks the remaining multi-component numeric patterns ...
bug
needs-triage
D13-SERVER — Payment Server Contract Spec
Parent: #298 A-SPEC parent: #284 Provider baseline parent: #158 Gate input: #368 selected G-187=A D12 input:
https://github.com/huanlongAI/hl-dispatch/issues/298#issuecomment-4761963432 ...
biz.product
governance
priority-p0
task-assign
Deferred code-standard fixes surfaced during the convergence round on PR #722
(https://github.com/jl-cmd/claude-code-config/pull/722), HEAD 32ea81d354035b42c9298af8adbe284c966ce6ed. Both are
CODE_RULES ...
I ve just added this integration to my HA. Currently connected to the OIG - IP address, all the data shows up correctly
except temp, but that s wrong from the device. However, none of the items has the ...
Befund (aus Code-Sync-Audit #64)
docs/developer/defining-new-inputs.adoc enthält upstream-spezifische Links und Kontakthinweise:
- Link auf Gerrit für Code-Ansicht
- Phabricator für Bug-Reporting ...
documentation
Submission URL
https://github.com/GanjinZero/normal_spectral_theorem
Model
Seed Prover (ByteDance)
How this solution was produced (optional)
Automatically proved by Seed Prover.
Acknowledgements ...
submission

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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.