From 828e196a6982939368d14a922fa1cd83a2298e79 Mon Sep 17 00:00:00 2001 From: Jakob Ackermann Date: Fri, 27 Mar 2026 09:11:56 +0100 Subject: [PATCH] [web] switch /status/compiler/:projectId to compile from history (#32458) GitOrigin-RevId: d55b0078a3fa59af4f8f1eb60d29d2dc68397f9a --- services/web/app/src/router.mjs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/services/web/app/src/router.mjs b/services/web/app/src/router.mjs index 10ed348a6c..a6b967e715 100644 --- a/services/web/app/src/router.mjs +++ b/services/web/app/src/router.mjs @@ -1176,7 +1176,11 @@ async function initialize(webRouter, privateApiRouter, publicApiRouter) { CompileManager.compile( projectId, testUserId, - { metricsPath: 'health-check' }, + { + metricsPath: 'health-check', + compileFromHistory: true, + rootResourcePath: 'main.tex', + }, function (error, status, _outputFiles, clsiServerId) { if (handler) { clearTimeout(handler)