2026-06-19 18:36.03: New job: tool dune.3.23.1 (d15d94817554)
2026-06-19 18:36.03: Waiting for resource in pool day11-builds
2026-06-19 19:34.58: Got resource from pool day11-builds
2026-06-19 19:34.58: [profile full] tool dune.3.23.1
2026-06-19 19:34.58: Cached: tool dune.3.23.1 (d15d94817554)
2026-06-19 19:34.58: Job succeeded