ui: add progress display for record_detail

This commit is contained in:
undefined committed 2024-05-10 21:34:03 +08:00
1 parent a811f0d396
commit 0992fb4315
1 file changed
+1
@@ -8,6 +8,7 @@
<span class="record-status--text {{ model.builtin.STATUS_CODES[rdoc['status']] }}"> <span class="record-status--text {{ model.builtin.STATUS_CODES[rdoc['status']] }}">
{{ model.builtin.STATUS_TEXTS[rdoc['status']] }} {{ model.builtin.STATUS_TEXTS[rdoc['status']] }}
</span> </span>
{% if rdoc.progress %}{{ rdoc.progress|int }}%{% endif %}
</h1> </h1>
</div> </div>
{% if rdoc.compilerTexts.length %} {% if rdoc.compilerTexts.length %}