From https://gitlab.inria.fr/druid/headwork 0dce4b6..f67a3f3 build_doc -> origin/build_doc Checking out 0dce4b64 as build_doc... Skipping Git submodules setup Downloading artifacts for pages (141389)... Downloading artifacts from coordinator... ok id=141389 responseStatus=200 OK token=KqLcydbT $ mysql --version /bin/bash: line 65: mysql: command not found ERROR: Job failed: exit code 1