pullrequests Search Results · language:Dune language:Python language:Java language:Python language:JavaScript language:JavaScript
Filter by
183M results
What
Recovers a best-effort root cause when the ReAct loop hits the step cap, instead of truncating to a placeholder summary
+ confidence 0.0.
The 8-case eval found 1/8 runs truncated: t080 hit the 25-turn ...
Submitted by: Seth Miller Email: seth@dtmfleet.com Submitted at: 2026-06-17T18:38:41.810853+00:00 Category: general
Action: upsert Proposal ID: c7e21052-2cfb-41cf-b13b-060c3daf2dee
Summary
Update parts_db.json ...
- Prevent false panel-failed stalls when reviewers produce parseable findings or OOS output despite zero collector
successes.
- Preserve collector and review threshold inputs in committed round ...
snyk-top-banner
Snyk has created this PR to fix 1 vulnerabilities in the pip dependencies of this project.
Snyk changed the following file(s):
- requirements.txt
details summary ⚠️ b Warning /b /summary ...
Warum
Draft-Releases lösen auf GitHub keine Workflow-Events aus (auch created nicht). Die zusätzlichen Trigger-Typen aus #49
hatten daher keine Wirkung – der Release-Workflow lief beim Anlegen eines Drafts ...
inside accumulations for MAD linting and black formatting
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
Builds on the OAuth device flow (#11): a Trakt connection no longer silently rots when the access token expires.
- Connect now stores the refresh token alongside the access token (both encrypted).
...
Adds a Lean target surface for ArithmeticSpectralCoercivity without claiming coercivity proof or final theorem closure.
Validation:
- lake env lean lean/URF/Frontier/ArithmeticSpectralCoercivityTarget.lean ...