Skip to content

fix(gen-manifests): --settle derives the write and its postcondition against ONE trunk - #5834

Merged
meshweaver-cloud[bot] merged 3 commits into
mainfrom
fix/settle-one-trunk
Sep 28, 2026
Merged

fix(gen-manifests): --settle derives the write and its postcondition against ONE trunk#5834
meshweaver-cloud[bot] merged 3 commits into
mainfrom
fix/settle-one-trunk

Commits

  1. Commits on Sep 28, 2026