2026-10-01 19:16.40: New job: doc opam-devel.2.4.0~beta1 (57e132dca918)
2026-10-01 19:16.40: Waiting for resource in pool day11-builds
2026-10-01 19:30.18: Got resource from pool day11-builds
2026-10-01 19:30.18: [profile full] doc opam-devel.2.4.0~beta1
2026-10-01 19:30.18: Cached: doc opam-devel.2.4.0~beta1 (57e132dca918)
2026-10-01 19:30.18: Job succeeded