Skip to content

Comments

Respect potentially existing lock dir when running format rules#12847

Merged
Leonidas-from-XIV merged 2 commits intoocaml:mainfrom
Leonidas-from-XIV:respect-existing-lock-dir
Dec 5, 2025
Merged

Respect potentially existing lock dir when running format rules#12847
Leonidas-from-XIV merged 2 commits intoocaml:mainfrom
Leonidas-from-XIV:respect-existing-lock-dir

Commits

Commits on Dec 5, 2025