pullrequests Search Results · language:Dune language:Python language:JavaScript language:HTML language:JavaScript language:Python
Filter by
174M results
fix: Mypy lint job (hatch fmt --linter --check / mypy ./src) fails with
aws-devops-agent-for-github[bot]
Summary
Phase 13 delivers the request-grouped, per-source live tail for the /gateway ops dashboard (sketch 018), replacing
Phase-12 s flat per-event stream. Rows are now collapsible umbrellas (one per ...
devbrian
afgoulart
dogterboxResolves review finding W6 (schema artifacts disagree with the live DB).
Key finding: the live DB is more correct than its artifacts
Live introspection (via Supabase MCP) showed the discrepancies were ...
zacharymays-cpu
jverkoeyWhat
The dashboard Permissions select tooltip was both inconsistent and, for two modes, inaccurate.
| mode | old tooltip | reality (Claude Code permission docs) |
| --- | --- | --- |
| default | (no ...
schubydoo
Summary
- Add a requires_spice skip-gate to the eval suite, mirroring requires_gmat / requires_credential: a prompt skips (not
fails, not scored) when the [spice] extra is absent or the canonical ...
djankov
Automated test pull request
aws-aemilia-nrt
Motivation - Restore Step 6.6 DM-profile runtime smoke identity and fix DM-profile content so the Step 6.6 smoke no longer reports book-dialogue hits or role-identity loss while preserving all Step 6.2–6.5 ...
codex
samuray-games