Containerized LKB worker (Dockerfile.lkb), Postgres-backed queue, auto-deploy timer, and eigensolid convergence check module. Build: 0 jobs (no Lean build needed) |
||
|---|---|---|
| .. | ||
| lkb-auto-deploy.service | ||
| lkb-auto-deploy.timer | ||
Containerized LKB worker (Dockerfile.lkb), Postgres-backed queue, auto-deploy timer, and eigensolid convergence check module. Build: 0 jobs (no Lean build needed) |
||
|---|---|---|
| .. | ||
| lkb-auto-deploy.service | ||
| lkb-auto-deploy.timer | ||