2026-11-06 15:17.51: New job: doc coq.9.3.0 (21fd042200bb)
2026-11-06 15:17.51: Waiting for resource in pool day11-builds
2026-11-06 16:16.08: Got resource from pool day11-builds
2026-11-06 16:16.08: [profile full] doc coq.9.3.0
2026-11-06 16:16.09: Cached: doc coq.9.3.0 (21fd042200bb)
2026-11-06 16:16.09: Job succeeded