2026-09-09 22:58.42: New job: doc ppx_cstruct.6.3.0 (b55e228c1b1c)
2026-09-09 22:58.42: Waiting for resource in pool day11-builds
2026-09-09 23:29.14: Got resource from pool day11-builds
2026-09-09 23:29.14: [profile full] doc ppx_cstruct.6.3.0
2026-09-09 23:29.14: Cached: doc ppx_cstruct.6.3.0 (b55e228c1b1c)
2026-09-09 23:29.15: Job succeeded