2026-08-06 17:56.31: New job: doc menhir-lsp.0.3.5 (807d50055fb5)
2026-08-06 17:56.31: Waiting for resource in pool day11-builds
2026-08-06 18:36.39: Got resource from pool day11-builds
2026-08-06 18:36.39: [profile full] doc menhir-lsp.0.3.5
2026-08-06 18:36.39: Cached: doc menhir-lsp.0.3.5 (807d50055fb5)
2026-08-06 18:36.39: Job succeeded