Port commit page

This commit is contained in:
Joscha 2023-08-13 21:19:43 +02:00
parent db0234b750
commit 373b3168f1
7 changed files with 111 additions and 19 deletions

View file

@ -4,9 +4,11 @@
{% block title %}{{ summary }}{% endblock %}
{% block body %}
<h2>Commit</h2>
<div class="commit">
<span class="hash">commit {{ hash }}</span>
<div>
<span>commit {{ hash }}</span>
<dl>
<dt>Author:</dt>
<dd>{{ author }}</dd>
@ -34,9 +36,23 @@
title="{% call util::commit_title(reachable) %}">{{ message }}</pre>
</div>
<h2>Runs</h2>
{% if runs.is_empty() %}
There aren't any runs yet.
{% else %}
<ul>
{% for run in runs %}
<li>{{ run|safe }}</li>
{% endfor %}
</ul>
{% endif %}
<form method="post" action="{{ link_admin_queue_add }}">
<input type="hidden" name="hash" value="{{ hash }}">
<label>Priority: <input type="number" name="priority" value="0" min="-2147483648" max="2147483647"></label>
<button>Add to queue</button>
with a <label for="priority">priority</label> of
<input id="priority" name="priority" type="number" value="10" min="-2147483648" max="2147483647">.
</form>
{% endblock %}