Fix switch & repo format upgrade - #6839

Merged

kit-ty-kate merged 2 commits into

ocaml:masterfrom

Dec 22, 2025

Commits on Dec 18, 2025

global state: add global lock to the record in order to retrieve it when needed
rjbou
committed
7f11e10
format upgrade: Use already created global lock instead of recreating one
rjbou
committed
e708dee