2026-09-14 10:40.33: New job: doc frama-c-rpp.0.0.4 (c1d3846132ad)
2026-09-14 10:40.33: Waiting for resource in pool day11-builds
2026-09-14 11:09.25: Got resource from pool day11-builds
2026-09-14 11:09.25: [profile full] doc frama-c-rpp.0.0.4
2026-09-14 11:09.25: Cached: doc frama-c-rpp.0.0.4 (c1d3846132ad)
2026-09-14 11:09.25: Job succeeded