pullrequests Search Results · language:Dune language:Python language:JavaScript language:HTML language:JavaScript
Filter by
176M results
Automated test pull request
aws-aemilia-gru
Remove an unneeded conjunct from the antecedent of reldisjun. The theorem name is no longer appropriate, so I changed it
to reldmun. All theorems using reldisjun were modified to use the new theorem. These ...
EricSchmidt-119
Per model evaluations are technically available but not persisted anywhere. This persistence should be added during
creation of the dashboard.
DBordeleau
The Tracker Radio tab now plays a musical interlude between spoken segments. Music is the royalty-free solo-piano
selection from classicals.de, sourced via a new Google Apps Script proxy.
- apps-script/classicals-proxy.gs: ...
elvinio
What
Test-only hardening: locks the ch02 key-rotation invariants the harden ProveGate flagged as coverage blind spots, so a
future regression turns CI red instead of silently passing. Production logic ...
lemone112
Automated test pull request
Summary
- classify navigation-aborted LLM jobs/news background requests as ignored in deployed mobile content smoke
- keep material request/page/http failures strict
- refresh deployed mobile content ...
garymmmjw
Summary
- Block users from sending new queries while previous response is still streaming
- Keep typing indicator visible until first text token arrives (not when HTTP headers arrive)
- Sync stream ...
Haneen-Azhar
All 18 Digital Spec devlog timestamps updated from 2026-06 to full YYYY-MM-DD dates: bug fixes → 2026-06-21, v1 launch
and all earlier work → 2026-06-20.
Generated by Claude Code
iamspecious
Automated test pull request
aws-aemilia-nrt