pullrequests Search Results · language:Edge language:Python language:JavaScript language:Java language:Java language:Python
Filter by
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 ...