Build:
  1. 3
  2. 2
  3. 1
  4. 0
2026-09-02 12:00.36: New job: Set rocq-prover/rocq-prover.org
                     refs/heads/mention-consortium
                     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/heads/mention-consortium\" exited with status 128","text":"Docker image failed to build"},"details_url":"https://deploy.rocq-prover.org","conclusion":"failure","actions":[]}
2026-09-02 12:00.36: Waiting for resource in pool github
2026-09-02 12:00.37: Got resource from pool github
2026-09-02 12:00.38: Job succeeded