2026-09-28 18:00.42: New job: doc ppxlib.0.38.0 (0654f29d18a9)
2026-09-28 18:00.42: Waiting for resource in pool day11-builds
2026-09-28 18:02.23: Got resource from pool day11-builds
2026-09-28 18:02.23: [profile odoc-master-mini] doc ppxlib.0.38.0
2026-09-28 18:02.23: doc ppxlib.0.38.0 (0654f29d18a9)
2026-09-28 18:03.15: FAILED: doc ppxlib.0.38.0
2026-09-28 18:03.15: Job failed: doc failed: ppxlib.0.38.0