2026-09-02 10:41.57: New job: Set rocq-prover/doc refs/heads/master
                     a8b72545/Deployment on rocq-prover.org to
                     {"status":"completed","output":{"title":"Failure","summary":"Command \"git\" \"-C\" \"/var/lib/rocqprover/var/git/doc.git-ea1a9162454a2a868e1a3c19afb2b701bc5c48a032d549fd2d063d76aa2c2d0f\" \n\"fetch\" \"--recurse-submodules=false\" \"-q\" \"-f\" \"https://github.com/rocq-prover/doc.git\" \n\"refs/heads/master\" exited with status 128"},"details_url":"https://deploy.rocq-prover.org","conclusion":"failure","actions":[],"external_id":"2026-09-02/104156-git-fetch-b58e8e"}
2026-09-02 10:41.58: Job succeeded