2026-10-24 08:18.25: New job: doc ppxfind.1.4 (12917b79d0c9)
2026-10-24 08:18.25: Waiting for resource in pool day11-builds
2026-10-24 09:15.04: Got resource from pool day11-builds
2026-10-24 09:15.04: [profile full] doc ppxfind.1.4
2026-10-24 09:15.04: doc ppxfind.1.4 (12917b79d0c9)
2026-10-24 09:16.52: FAILED: doc ppxfind.1.4
2026-10-24 09:16.52: Job failed: doc failed: ppxfind.1.4