From 0992fb43151db054785248c73c13260d42903437 Mon Sep 17 00:00:00 2001
From: undefined <i@undefined.moe>
Date: Fri, 10 May 2024 21:34:03 +0800
Subject: [PATCH] ui: add progress display for record_detail

---
 packages/ui-default/templates/record_detail_status.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/ui-default/templates/record_detail_status.html b/packages/ui-default/templates/record_detail_status.html
index f2ccb4723..01c3cb946 100644
--- a/packages/ui-default/templates/record_detail_status.html
+++ b/packages/ui-default/templates/record_detail_status.html
@@ -8,6 +8,7 @@
       <span class="record-status--text {{ model.builtin.STATUS_CODES[rdoc['status']] }}">
         {{ model.builtin.STATUS_TEXTS[rdoc['status']] }}
       </span>
+      {% if rdoc.progress %}{{ rdoc.progress|int }}%{% endif %}
     </h1>
   </div>
 {% if rdoc.compilerTexts.length %}