2026-06-17 14:45.49: New job: tool cmdliner.2.1.1 (31028e9aa5d7)
2026-06-17 14:45.49: Waiting for resource in pool day11-builds
2026-06-17 14:45.53: Got resource from pool day11-builds
2026-06-17 14:45.53: [profile quick] tool cmdliner.2.1.1
2026-06-17 14:45.53: Cached: tool cmdliner.2.1.1 (31028e9aa5d7)
2026-06-17 14:45.53: Job succeeded