2026-10-09 16:58.04: New job: link frama-c.33.0 (2f3454acc47d)
2026-10-09 16:58.04: Waiting for resource in pool day11-builds
2026-10-09 17:11.52: Got resource from pool day11-builds
2026-10-09 17:11.52: [profile odoc-master-mini] link frama-c.33.0
2026-10-09 17:11.52: Cached: link frama-c.33.0 (2f3454acc47d)
2026-10-09 17:11.52: Job succeeded