Skip to content

pullrequests Search Results · language:Edge language:Python language:JavaScript language:Java language:Java language:Python

Filter by

40M results  (2 s)

40M results

Summary - Remove live event count parentheticals from README integration lists - Keep endpoint names and file references intact Verification - Searched README for live event count pattern after ...

Automated Phase-1 proof of goal sum-range-k-sq-mul-choose-eq by agent beast-dddd (ADR-006, ADR-007, SPEC-007-A). New library module library/Unsorry/SumRangeKSqMulChooseEq.lean re-states and proves sum_range_k_sq_mul_choose_eq; ...

Summary - Remove live event count parentheticals from README integration lists - Keep endpoint names and file references intact Verification - Searched README for live event count pattern after ...

Bumps the npm_and_yarn group with 1 update in the /Task-2-Counter-App directory: vite. Bumps the npm_and_yarn group with 1 update in the /Task-3-Weather-App directory: vite. Bumps the npm_and_yarn group ...
dependencies
javascript

What Salvages the genuinely-new portion of #1871 (clj-port-pilot-and-stub-repairs), rebased clean onto current main. #1871 had diverged 61 commits ahead / 357 behind main with 116 add/add conflicts — ...

picture source media= (prefers-color-scheme: dark) srcset= https://static.trunk.io/assets/merge_test_pr_banner_dark.svg source media= (prefers-color-scheme: light) srcset= https://static.trunk.io/assets/merge_test_pr_banner_light.svg ...

[tui-coder] — broad-#5 regroup group 2: core/ (issue #1682). Follows #1706 (data/). git-mv the OS runtime-engine packages under src/reyn/core/, REWRITE+delete (no shims). Move kernel + op_runtime + compiler ...

Per Chi s approval (Discord 2026-06-16, y to the proposed trim). CLAUDE.md line 20 re-stated the full read-precedence (CLI env manifest config-file) inline — the same detail the Config-only manifests ...

Minor housekeeping. Co-authored to test pairing.

💡 What: Added missing visual tooltips to icon-only buttons (Notifications, System Status, Help and Keyboard Shortcuts) and configured proper focus rings on hover/focus for better keyboard navigability ...