2026-10-23 21:08.40: New job: build coqide-server.9.3.0 (7716bbcb9009)
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 coqide-server.9.3.0
2026-10-23 21:52.59: build coqide-server.9.3.0 (7716bbcb9009)
2026-10-23 21:53.23: FAILED: build coqide-server.9.3.0
2026-10-23 21:53.23: Job failed: build failed: coqide-server.9.3.0