issues Search Results · language:Dune language:JavaScript language:JavaScript language:HTML language:Java
Filter by
39.7M results
Severity: Critical · Category: correctness/robustness · Confidence: high (reproduced) · Found by: differential harness
(#32)
Problem
DPLLCDCLSolver.check throws NullPointerException during conflict analysis ...
area:sat
bug
severity:critical
paultristanwagner
Parent
#1 — PRD: Theobase Phase 1
What to build
Add member authentication via magic-link email. When a member enters their email, send a single-use magic link (15-min
expiry) via Cloudflare Email Sending. ...
ready-for-agent
taiatiniyara
Parent epic: wultra/tasklist#992
Problem
The message field in Elasticsearch is null for log lines that use the new structured kv(...) format. Old-style logs
(with a real message string) display message ...
vita-kotacka
Parent
#1 — PRD: Theobase Phase 1
What to build
Set up less-favored-auth with the Drizzle adapter in apps/api. Implement volunteer authentication: email/password
registration, login, email OTP as MFA, ...
ready-for-agent
Integrate MCP with Copilot
img alt= original github octocat src= https://octodex.github.com/images/original.png align= left height= 80px /
👋 Hey there @Akshirahegde! Welcome to your Skills exercise! ...
github-actions[bot]
Sammedpatil29
index.html file can use a modern touch
enhancement
cancolak900
The README gameplay demo currently points to an older YouTube URL that was not reliable enough for external review.
A new public YouTube upload has been confirmed to play in an incognito browser window: ...
flowmari
Description
The release-please commit messages configured don t link to an issue and therefore fail the commit lint action.
Steps to Reproduce
Let release-please, create a PR and allow the actions to ...
bug
R41f-K
Issue Type
lt;!-- Select one and delete the others -- gt;
- [ ] Feature
- [ ] Technical Debt
- [ ] Spike / Research
- [ ] Refactor
- [ ] Documentation
- [x] Other: Bug
Description
lt;!-- ...
venimu
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.