issues Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:Python is:public
Filter by
40.8M results
Part of #27.
Phase 7 calls for growing the eval fixture set toward ~30 (see docs/PLAN.md). The filename-* fixtures specifically need
more coverage to exercise the propose_filename design questions raised ...
enhancement
solvaholic
haraleksCurrently, trying to use the Dhan Sandbox API credentials (Sandbox Token and Client ID) fails with an Invalid Token
error. This happens because DhanHTTP hardcodes the live production URL as the BASE_URL. ...
techitesh
The 3D view currently renders a single flowing-line ribbon. Add a 3D style selector with multiple interweaving /
fade-out aesthetics, keeping all existing run semantics (progress colors done/active/gate/merge, ...
berkayturanci
================================== ❌ FAILURE ===================================
+d *failed* | Repeating the failure error...
+d *failed* | -- RUN --no-cache gdc leibniz.d ...
DutchOrange-1
Problem
The benchmark agent has a 1800s (30 min) timeout on the SSH session running crucible run. When a test matrix is large
(e.g., 3 message sizes × 4 thread counts × 3 samples × 2 parallel pairs = ...
bug
code
atheurer
WhyMehDieNeeds to do better about grabbing the most recent sources and stuff. Will likely improve with persistence (#5).
isaiah-harville
ScriptHound
Is your feature request related to a problem? Please describe.
현재 main.py의 --claims 모드는 열린 issue의 선점 현황을 조회한 뒤, 선점된 issue와 미선점 issue를 나누어 출력합니다.
현재 흐름에서는 내부적으로 다음 두 list를 이미 만듭니다.
claimed_issues
unclaimed_issues ...
leejeong-ho
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.
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.