fix: always dump case ledgers, even when a phase dies - #2279

Merged

sei-ahouseholder merged 4 commits into

mainfrom

bug/2239-always-dump-ledgers

Aug 13, 2026

Commits on Aug 12, 2026

fix: always dump case ledgers, even when a phase dies

ahouseholder
and
claude
committed
04159e5

Commits on Aug 13, 2026

fix(pr-execute): address 9 findings from triage

ahouseholder
and
claude
committed
817f194
Merge remote-tracking branch 'origin/main' into bug/2239-always-dump-ledgers
ahouseholder
committed
67bb9d0
chore(specs): bump demo-ci to 1.9.0 after merging main

ahouseholder
and
claude
committed
bdc5442