pullrequests Search Results · language:Dune language:JavaScript language:JavaScript language:HTML language:Python language:HTML
Filter by
176M results
datatype constructors in Dafny require a | prefix; the printer was emitting two spaces instead, producing invalid
syntax.
Migrate and re-architect security agent skills to decoupled multi-skill architecture.
Summary
- release Absurd worker concurrency permits when a claimed run is cancelled in Postgres
- add a DB-backed regression test that hangs a task, cancels it, and verifies the next task runs with ...
Summary
- Fix AttributeError: ProwGCSCollector object has no attribute bucket during data collection
- The bucket config value was read by collect_job_runs but never stored in __init__
This PR configures your project for Cloudflare Workers deployment using Wrangler autoconfig.
Merging this PR commits the configuration to your repository, enabling faster deployments and version controlled ...
Moves the deck-level Shuffle toggle out of its orphaned full-width block (wedged between the Name/Groups toolbar and the
Library header) into a compact inline toggle at the front of the Timeline totals ...
What
Upgrade the Rust ext crates to current and supersede the held Dependabot PRs (#56, #54, #51) in one change:
- security-framework 2.9 - 3.7
- git2 0.20 - 0.21
- secret-service 3.0 - 5.1 (serde_json ...
Summary
Re-adds write protection for three critical Hermes credential/config files that were lost when the control_file_names
loop was removed from is_write_denied() (commit 81e42335a).
Problem
After ...