Skip to content

Bump corgi to WIP 7d46146 - #912

Merged
frankmcsherry merged 1 commit into
master-nextfrom
ddir-corgi-pin
Sep 29, 2026
Merged

frankmcsherry merged 1 commit into
master-nextfrom
ddir-corgi-pin

Conversation

@frankmcsherry

Copy link
Copy Markdown
Member

Moves interactive's corgi pin from 657fc96 (WIP #38) to 7d46146, which adds three Corgi PRs:

There are no API changes on the DDIR side. cargo test --release -p interactive: 112 passed, 5 ignored (all ignored before this change too). I have not measured the DDIR workloads on this pin; #908's consolidation and the reduce paths call sort_blocks, so they are the likely beneficiaries.

🤖 Generated with Claude Code

Picks up frankmcsherry/WIP #39, #42 and #43. No API changes on the DDIR side.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@frankmcsherry
frankmcsherry merged commit 5cc6e53 into master-next Sep 29, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant