2026-09-02 12:20.12: New job: Set rocq-prover/rocq-prover.org
                     PR #270 on main:
                     Add Rocq Consortium section to governance document
                     ba61bb40/Docker image build for rocq-prover.org to
                     {"status":"completed","output":{"title":"Failure","summary":"Command \"git\" \"-C\" \"/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0\" \n\"fetch\" \"--recurse-submodules=false\" \"-q\" \"-f\" \"https://github.com/rocq-prover/rocq-prover.org.git\" \n\"refs/pull/270/head\" exited with status 128","text":"Docker image failed to build"},"details_url":"https://deploy.rocq-prover.org","conclusion":"failure","actions":[]}
2026-09-02 12:20.13: Job succeeded