Skip to content

fix: allow rename to overwrite read-only destination on Windows when deduplicating Dune cache#13713

Merged
nojb merged 7 commits intoocaml:mainfrom
Nevor:fix_dune_cache_deduplication_rename_on_windows
Mar 2, 2026
Merged

fix: allow rename to overwrite read-only destination on Windows when deduplicating Dune cache#13713
nojb merged 7 commits intoocaml:mainfrom
Nevor:fix_dune_cache_deduplication_rename_on_windows

Commits

Commits on Mar 2, 2026