Skip to content

fix: stop starting rpc with dune promote#13428

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:push-uyvkypmtvxln
Jan 23, 2026
Merged

fix: stop starting rpc with dune promote#13428
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:push-uyvkypmtvxln

Commits

Commits on Jan 23, 2026