2026-06-03 14:52.14: New job: Set rocq-prover/doc refs/heads/master
                     4f46141f/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-06-03/144914-git-fetch-185fc8"}
2026-06-03 14:52.17: Job succeeded