2026-10-01 19:16.40: New job: doc opam-devel.2.5.0~alpha1 (d476719d146c)
2026-10-01 19:16.40: Waiting for resource in pool day11-builds
2026-10-01 19:30.27: Got resource from pool day11-builds
2026-10-01 19:30.27: [profile full] doc opam-devel.2.5.0~alpha1
2026-10-01 19:30.27: Cached: doc opam-devel.2.5.0~alpha1 (d476719d146c)
2026-10-01 19:30.27: Job succeeded