Repository navigation

fix(devbase): accept a single-file history bind, and stop mounting the host home - #12

Merged

KaiSchwarz-cnic merged 3 commits into

mainfrom

RSRMID-3052/narrow-host-mounts

Sep 8, 2026

Commits on Sep 8, 2026

fix(devbase): report a history mount that is a directory instead of linking it
KaiSchwarz-cnic
committed
6411fa0
ci(devcontainer): mount the history file, not the host home
KaiSchwarz-cnic
committed
2a7a03e
test(devbase): give the frozen-install probe the lockfile it needs
KaiSchwarz-cnic
committed
77dc58f