Skip to content

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

Filter by

54.7M results  (735 ms)

54.7M results

Session start: 2026-06-07 01:56 BST / 2026-06-07 00:56 UTC Bounded objective: - Make one bounded Lane 29 Phase 3 err_ptr / xarray interop improvement in real Zig code. - Avoid duplicating current ...

Problem CLI single-shot mode takes ~3 seconds because it loads the ONNX model from scratch every invocation. Server mode solves this (~42ms warm recall), but CLI should also be fast for interactive use. ...
scope:cli
type:feature

Problem The Worker delegates git push to the Claude SDK subagent via the Bash tool (worker.py:103-104, 46), then deterministically calls repo.create_pull(...) after the subagent returns. If the LLM skipped ...
foreman:planning

Add Who Built This section to the top of the About tab. Includes bio, coaching context, email + LinkedIn contact links, and partnership CTA. Token-driven, no new tokens required.
area:ux
priority:p3
type:feature

Problem Tags are stored as comma-separated TEXT column (tags TEXT). Searching by tag uses LIKE %tag% which is O(n) full scan and fragile (partial match: tag rust matches rustic ). Current Schema (v1) ...
scope:core
type:feature

Now that we have many activities, the list on the left is too long so it is hard to navigate. And the add dialog is far away from the activity. - Move the cards to the bottom - Remove the registration ...
enhancement

Problem Students are removing each other to free up space for themselves in the activities. Recommended Solution Add a user icon in the top right. When clicked it shows a login button. When the login ...
enhancement

The GitHub Skills activity announced by our principal is missing from the school activities signup page. Yesterday in the school assembly, the principal announced a new partnership with GitHub to teach ...
enhancement
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.