worker: add workspace workdir management feature

2026-08-04 19:28:59 +09:00
parent e6a2da548f
commit da90ac74b4
9 changed files with 821 additions and 10 deletions
@@ -8,6 +8,7 @@ import "./base.dcdl" // {
        memory = { enabled = true; };
        web = { enabled = true; };
        workers = { enabled = true; };
+        manage_workdir = { enabled = true; };
        ticket = { enabled = true; thread = true; orchestration_control = true; };
    };
 }