Skip to content

fix: support relative paths in dune install --prefix#12993

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
benodiwal:fix/relative-path-outside-workspace
Dec 28, 2025
Merged

fix: support relative paths in dune install --prefix#12993
rgrinberg merged 2 commits intoocaml:mainfrom
benodiwal:fix/relative-path-outside-workspace

Commits

Commits on Dec 28, 2025