Skip to content

pullrequests Search Results · language:Dune language:Python language:Python language:Java language:Java language:Python

Filter by

87.7M results  (2 s)

87.7M results

Problem /import-data was insert / update / skip only. When the team deletes a line from an already-imported Express invoice and re-exports, the importer never removed the now-orphaned stored line, so ...

Automated Phase-1 proof of goal platonic-schlafli-core-s1-s1-s2 by agent p3-bravo (ADR-006, ADR-007, SPEC-007-A). New library module library/Unsorry/PlatonicSchlafliCoreS1S1S2.lean re-states and proves ...
swarm:prove

We are using pinned libtpu versions in CI now, which makes version tests more useful than date tests.

picture source media= (prefers-color-scheme: dark) srcset= https://static.trunk.io/assets/merge_test_pr_banner_dark.svg source media= (prefers-color-scheme: light) srcset= https://static.trunk.io/assets/merge_test_pr_banner_light.svg ...

Removing deprecated fields from serializaion in RESTful responses

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

Summary Kai 貼通用「repo 自我進化重構」prompt → 依 workflow.md Mode Z 不重跑 R0、改批判上一輪審視。審視結論 + 本輪落地: - territory hook v2 → v3:檢查整體從 pre-commit 遷移到 .githooks/commit-msg。根因:pre-commit 階段 -m 的訊息還沒落盤(COMMIT_EDITMSG ...

Summary - Retire the √T-MCMC framing (a dead wedge per a full code + adversarial use-case review) and reframe into rewind — a domain-agnostic time-travel / rewind-and-branch engine for seeded, cheap-step ...