2026-06-17 14:45.49: New job: tool astring.0.8.5 (1895c3c27c0e)
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 astring.0.8.5
2026-06-17 14:45.54: Cached: tool astring.0.8.5 (1895c3c27c0e)
2026-06-17 14:45.54: Job succeeded