issues Search Results · language:Dune language:Python language:Java language:JavaScript language:Java language:Go linked:pr
Filter by
7M results
Problem Statement
The ThrillhouseBot was updated in PR #95 to evaluate CI check runs and commit statuses, allowing the bot to gate its PR
approval on the status of required CI runs. However, the GitHub ...
enhancement
devops-thiago
Significance. Routing is the minimum information needed to place this slice in the dependency graph. Parent and
dependencies must be existing issue numbers; unlocks may be forward-looking. Prose description ...
mikkokotila
Significance. Routing is the minimum information needed to place this slice in the dependency graph. Parent and
dependencies must be existing issue numbers; unlocks may be forward-looking. Prose description ...
slice
`backend/src/services/web_search.py` defines a `WebSearchService` class (177 lines) that calls Claude s web-search tool
to enrich gym listings with Google Maps links, phone, etc. — a relic of the pre-agentic ...
yi-fan-song
Project name
Chroma Quest
One-line description
Color Mixing Challenge Build a game where players mix available colors to match a target color. Include multiple
difficulty levels, score tracking, and ...
enhancement
priyakalamkar555-art
From the Gamelan check-in: Maat skipped the Lean/Quint proof corpus but must keep the verification discipline. This adds
the property/invariant layer that stands in for the proofs — laws checked for ANY ...
cauri
Summary
No response
Requirements
The more specific the better.
- [ ]
- [ ]
Related tickets
No response
enhancement
I-ALiRT
Infrastructure
laspsandoval
Significance. Routing is the minimum information needed to place this slice in the dependency graph. Parent and
dependencies must be existing issue numbers; unlocks may be forward-looking. Prose description ...
Parent bounty: #743
Bug
packages/ui/src/Card.tsx renders a section but its component signature only accepts title and children. Consumers cannot
pass normal section attributes such as id, className, ...
MyouzzZ
apply performance and simplification improvements
cmendible
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.