Do not keep the build directory of the pinned packages#6436

Merged

rjbou merged 2 commits intoocaml:masterfrom

kit-ty-kate:no-keep-build-dir-pinned

Apr 4, 2025

Commits on Apr 4, 2025

reftests: add tests for --keep-build-dir and OPAMKEEPBUILDDIR

rjbou
and
kit-ty-kate
committed
Do not keep the build directory of the pinned packages
kit-ty-kate
committed