2026-08-04 07:35.10: New job: doc frama-c-metacsl.0.10~beta (d7571a0b690e)
2026-08-04 07:35.10: Waiting for resource in pool day11-builds
2026-08-04 07:47.31: Got resource from pool day11-builds
2026-08-04 07:47.31: [profile full] doc frama-c-metacsl.0.10~beta
2026-08-04 07:47.31: Cached: doc frama-c-metacsl.0.10~beta (d7571a0b690e)
2026-08-04 07:47.31: Job succeeded