2026-09-18 19:44.27: New job: doc elpi.3.8.0 (fa6698465ed3)
2026-09-18 19:44.27: Waiting for resource in pool day11-builds
2026-09-18 20:05.53: Got resource from pool day11-builds
2026-09-18 20:05.53: [profile full] doc elpi.3.8.0
2026-09-18 20:05.53: Cached: doc elpi.3.8.0 (fa6698465ed3)
2026-09-18 20:05.53: Job succeeded