Repository navigation

Wipe a build dir when one of its modules moved (#101) - #102

Merged

bdbarnett merged 2 commits into

mainfrom

fix-101-module-commits

Oct 12, 2026

Merged

Wipe a build dir when one of its modules moved (#101)#102
bdbarnett merged 2 commits into
mainfrom
fix-101-module-commits

Commits on Oct 12, 2026
- Wipe a build dir when one of its modules moved to another commit or has other uncommitted changes
  bdbarnett
  committed
  9920428
- A module's commit, not its uncommitted edits, decides a wipe; edits keep building incrementally
  bdbarnett
  committed
  fa28e01