2026-10-01 22:41.38: New job: build jsonkit.1.1.0 (120f625c737f)
2026-10-01 22:41.38: Waiting for resource in pool day11-builds
2026-10-01 22:41.50: Got resource from pool day11-builds
2026-10-01 22:41.50: [profile odoc-master-mini] build jsonkit.1.1.0
2026-10-01 22:41.50: Cached: build jsonkit.1.1.0 (120f625c737f)
2026-10-01 22:41.50: Job succeeded