2026-10-27 03:46.10: New job: doc websocket-lwt-unix.2.17 (e49ea6dc17f7)
2026-10-27 03:46.10: Waiting for resource in pool day11-builds
2026-10-27 03:55.30: Got resource from pool day11-builds
2026-10-27 03:55.30: [profile full] doc websocket-lwt-unix.2.17
2026-10-27 03:55.30: doc websocket-lwt-unix.2.17 (e49ea6dc17f7)
2026-10-27 04:23.19: FAILED: doc websocket-lwt-unix.2.17
2026-10-27 04:23.19: Job failed: doc failed: websocket-lwt-unix.2.17