2026-10-09 14:31.04: New job: doc ppxlib.0.39.0 (008accefcee1)
2026-10-09 14:31.04: Waiting for resource in pool day11-builds
2026-10-09 16:36.40: Got resource from pool day11-builds
2026-10-09 16:36.40: [profile full] doc ppxlib.0.39.0
2026-10-09 16:36.40: Cached: doc ppxlib.0.39.0 (008accefcee1)
2026-10-09 16:36.40: Job succeeded