2026-10-22 02:38.09: New job: build eigen.0.1.5 (42f1102d8de5)
2026-10-22 02:38.09: Waiting for resource in pool day11-builds
2026-10-22 04:22.58: Got resource from pool day11-builds
2026-10-22 04:22.58: [profile full] build eigen.0.1.5
2026-10-22 04:22.58: build eigen.0.1.5 (42f1102d8de5)
2026-10-22 04:26.45: FAILED: build eigen.0.1.5
2026-10-22 04:26.45: Job failed: build failed: eigen.0.1.5