2026-09-08 19:46.18: New job: doc irmin-pack.3.7.2 (00a94d5bd6a7)
2026-09-08 19:46.18: Waiting for resource in pool day11-builds
2026-09-08 19:57.02: Got resource from pool day11-builds
2026-09-08 19:57.02: [profile full] doc irmin-pack.3.7.2
2026-09-08 19:57.02: Cached: doc irmin-pack.3.7.2 (00a94d5bd6a7)
2026-09-08 19:57.02: Job succeeded