Diagnose and safely expand the Lean runner root filesystem #8

Merged

Zayden-Jung merged 3 commits from codex/runner-storage-probe into main

2026-10-28 12:23:35 +00:00

Author	SHA1	Message	Date
codex-bot	36fd787c43	docs: record authorized runner root filesystem expansion ci / python (pull_request) Successful in 17s Details ci / lean (pull_request) Successful in 1m18s Details ci / image (pull_request) Has been skipped Details	2026-10-28 20:21:48 +08:00
codex-bot	96a1763392	ci: add guarded manual root disk expansion for the Lean runner	2026-10-28 20:18:48 +08:00
codex-bot	6a65435702	ci: add read-only runner storage diagnostics	2026-10-28 20:13:32 +08:00