pullrequests Search Results · language:Dune language:Python language:C# language:JavaScript language:JavaScript
Filter by
163M results
Add per-module branch-rate floor margin rule from ProjectHephaestus issue #1197 / PR #1288.
What changed
- Rule: set floor = floor(actual_branch_rate - 3) to floor(actual_branch_rate - 4) — never within ...
mvillmow
Why
gate-a is failing sound proofs again with exit 143 in the leanchecker replay (~13 min in; axiom audit clean, 0
violations). #294 made replay serial (one process), but the library has grown past a ...
fix
cgbarlow
PIZZALORD713Adds a Leaflet layers control (top-left) letting you switch the map background between three bases:
- מפה — OpenStreetMap (default, unchanged)
- לוויין — Esri World Imagery (satellite)
- טופוגרפי ...
amnir
This PR aggressively refactors the codebase to address performance bottlenecks, reduce AI code bloat , and harden
backend security. Major changes include removing heavy dependencies (axios, recharts), ...
arpittivari
Summary
- Update the OpenClaw production kustomization template so future image-tag deployments keep the transcribe
ScaledObject reference
- Restore the current generated OpenClaw production overlay ...
AshleyHollis
- 添加 MS 登录异常检测，包括被拒、无效 Token 和超时
- 添加了 GetTokenErrorResponse 用于序列化错误信息
- 发现错误信息带有 authorization_pending 会直接跳过解析，继续轮询
awaEric233
Zeptiny:robot: I have created a release beep boop
0.0.3 (2026-06-13)
Bug Fixes
- stop pinning version in static tests so releases don t break CI (2a4de3a)
- stop pinning version in static tests so releases ...
autorelease: pending
github-actions[bot]
magi-9