issues Search Results · language:Dune language:Python language:HTML language:Java language:JavaScript language:PHP
Filter by
66.7M results
ipvprestige
DhruvK278Improve the type-error message Morel produces when inference fails, so that it reports the offending sub-expression and
the expected-versus-actual types, comparable to the messages a mature SML implementation ...
julianhyde
Summary
All 57 MCP tools advertise an empty description in tools/list, and their input JSON schemas carry no field-level
descriptions and no enums of valid values (e.g. profile names). An agent discovering ...
agent-ux
randomparity
DeporSSummary
A failed target.boot leaves the libvirt domain defined, and the domain name is a constant derived from the target
profile s target_ref (e.g. kdive-dev-debug), shared across every run that uses ...
agent-ux
foundation
URL: https://www.fullsession.io/product/heatmaps/ Device: desktop Run started: 2026-06-01T19:39:35.451Z GH
run: 26776465035
Metrics this run:
- LCP: 707ms
- TBT: 31ms
- CLS: 0.007
- TTFB: 33ms ...
perf:regression
perf
tier:tier0
github-actions[bot]
Summary
target.boot cannot complete on a standard single-user Fedora/SELinux host through any documented, tool-driven path. The
default target profiles hard-code libvirt_uri=qemu:///system, under which ...
agent-ux
foundation
Part of #12. Can run in parallel with #33.
Scope: Only two files import from material-ui:
| File | Import |
| --- | --- |
| browser/react/index.js | MuiThemeProvider from material-ui/styles/MuiThemeProvider ...
bushidocodes
Summary
On a clean checkout, the very first lifecycle tool an agent calls — kernel.create_run — fails when it uses the
documented default artifact root .kdive/runs. Nothing creates the .kdive parent, ...
agent-ux
foundation
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.