2026-09-07 19:43.02: New job: doc cohttp-lwt-jsoo.6.3.0 (5bd0ea571a30)
2026-09-07 19:43.02: Waiting for resource in pool day11-builds
2026-09-07 19:54.40: Got resource from pool day11-builds
2026-09-07 19:54.40: [profile full] doc cohttp-lwt-jsoo.6.3.0
2026-09-07 19:54.40: Cached: doc cohttp-lwt-jsoo.6.3.0 (5bd0ea571a30)
2026-09-07 19:54.40: Job succeeded