Build, smoke-test, publish, and verify the Q-agent Docker image (LEAN CLI + infrastructure pipelines + marimo). Handles LEAN_VERSION bumps, local iteration, GHCR pull verification, and CI debugging for the docker workflow.
Langue du texte source : anglais