codex-bot 96a1763392 ci: add guarded manual root disk expansion for the Lean runner

2026-10-28 20:18:48 +08:00

..

ci.yml

ci: run tests, real Lean + Mathlib smoke and image build on the lean4.35 runner

2026-10-21 10:58:42 +00:00

env-probe.yml

ci: add read-only runner storage diagnostics

2026-10-28 20:13:32 +08:00

runner-probe.yml

ci: probe Docker through the runner socket

2026-09-23 22:36:34 +08:00

runner-storage-maintenance.yml

ci: add guarded manual root disk expansion for the Lean runner

2026-10-28 20:18:48 +08:00