2026-08-26 06:02.26: New job: doc opam-solver.2.5.0~beta1 (fcdd6c6a8931) 2026-08-26 06:02.26: Waiting for resource in pool day11-builds 2026-08-26 06:39.03: Got resource from pool day11-builds 2026-08-26 06:39.03: [profile full] doc opam-solver.2.5.0~beta1 2026-08-26 06:39.06: Cached: doc opam-solver.2.5.0~beta1 (fcdd6c6a8931) 2026-08-26 06:39.07: Job succeeded