Skip to content

fix: contain sandbox descendants with util-linux - #78

Open
kim-em wants to merge 2 commits into
leanprover:fail-closed-optionfrom
kim-em:fix/descendant-cleanup
Open

fix: contain sandbox descendants with util-linux#78
kim-em wants to merge 2 commits into
leanprover:fail-closed-optionfrom
kim-em:fix/descendant-cleanup

test: cover namespace setup and descendant cleanup

14b5039
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
build
succeeded Aug 20, 2026 in 2m 29s