2026-10-23 21:08.40: New job: build rocq-core.9.3.0 (52d8685349fd)
2026-10-23 21:08.40: Waiting for resource in pool day11-builds
2026-10-23 21:52.59: Got resource from pool day11-builds
2026-10-23 21:52.59: [profile full] build rocq-core.9.3.0
2026-10-23 21:52.59: build rocq-core.9.3.0 (52d8685349fd)
2026-10-23 21:53.42: FAILED: build rocq-core.9.3.0
2026-10-23 21:53.42: Job failed: build failed: rocq-core.9.3.0