Skip to content

pullrequests Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:Python language:HTML

Filter by

175M results  (2 s)

175M results

A server-driven loading skeleton for chat history, done the SDUI way (not a web-only hack). Merge after #033. - skeleton primitive (webrender/renderer.py + ROTE adapter.py + astral.css): shimmer placeholder, ...

Bumps markdown-it from 12.3.2 to 14.2.0. details summary Changelog /summary p em Sourced from a href= https://github.com/markdown-it/markdown-it/blob/master/CHANGELOG.md markdown-it s changelog /a . /em ...
dependencies
javascript

Bumps pyjwt from 2.9.0 to 2.13.0. details summary Release notes /summary p em Sourced from a href= https://github.com/jpadilla/pyjwt/releases pyjwt s releases /a . /em /p blockquote h2 2.13.0 /h2 h1 PyJWT ...
dependencies
python

This PR introduces the Carbon theme, inspired by IBM s Carbon Design System. It features a clinical, precise aesthetic suitable for enterprise dashboards and devtools. Key features include sharp corners, ...

Co-flagship US4 from the 033 roadmap, cheapest-big-win. Merge after #033. - C-M4 — multi-signal retrieval (personalization/retrieval_scoring.py + wired into memory_tools.memory_search): recall was ...

Problem Every prove-mode verify runs lake build UnsorryLibrary --wfail in a fresh prove worktree. lake exe cache get restores only mathlib oleans; the project s own library (hundreds of modules, growing ...

Problem When a worker raises an exception whose __reduce__ raises RuntimeError, pickling the ExceptionWrapper in _worker_entrypoint s finally block raised a RuntimeError that fell outside the curated ...

Closes #1000. Problem POST /api/export/sql silently capped the download at SQL_EXPORT_MAX_ROWS (10,000) via a single fetchmany — no warning row, no header flag, no HTTP error, no log. A SELECT … FROM ...

Co-flagship US3 from the 033 roadmap. Merge after #033. - C-N5 — trajectory-evaluation backbone (orchestrator/agent_eval.py): the measurement substrate every self-improving loop needs. Pure, dependency-free: ...