2026-09-06 19:39.59: New job: doc why3.1.2.1 (9ce153263264)
2026-09-06 19:39.59: Waiting for resource in pool day11-builds
2026-09-06 20:04.21: Got resource from pool day11-builds
2026-09-06 20:04.21: [profile full] doc why3.1.2.1
2026-09-06 20:04.21: Cached: doc why3.1.2.1 (9ce153263264)
2026-09-06 20:04.21: Job succeeded