Skip to content

ci(devcontainer): mount the history file, not the host home - #344

Merged
KaiSchwarz-cnic merged 1 commit into
masterfrom
RSRMID-3052/narrow-host-mounts
Sep 8, 2026
Merged

ci(devcontainer): mount the history file, not the host home#344
KaiSchwarz-cnic merged 1 commit into
masterfrom
RSRMID-3052/narrow-host-mounts

Commits

Commits on Sep 8, 2026