2026-04-28 13:30.22: New job: Set rocq-prover/rocq-prover.org refs/heads/main
                     888461b6/Deployment on rocq-prover.org to
                     {"status":"queued","output":{"title":"Queued","summary":"Queued","text":"Docker image is building"},"details_url":"https://deploy.rocq-prover.org","external_id":"2026-04-28/133022-docker-compose-3ea9ef"}
2026-04-28 13:30.23: Job succeeded