2026-09-18 20:46.11: New job: doc frama-c-metacsl.0.10~beta (f5927756ea19)
2026-09-18 20:46.11: Waiting for resource in pool day11-builds
2026-09-18 21:03.30: Got resource from pool day11-builds
2026-09-18 21:03.30: [profile full] doc frama-c-metacsl.0.10~beta
2026-09-18 21:03.30: Cached: doc frama-c-metacsl.0.10~beta (f5927756ea19)
2026-09-18 21:03.30: Job succeeded