2025-02-01 19:38:47 +01:00
|
|
|
{% extends "base.html" %}
|
|
|
|
|
|
|
|
{% block content %}
|
2025-02-01 20:07:33 +01:00
|
|
|
<h1>Revision details</h1>
|
2025-02-01 19:38:47 +01:00
|
|
|
|
|
|
|
<ul>
|
2025-02-01 20:07:33 +01:00
|
|
|
<li>Revision: {{ revision_uri }}</li>
|
2025-02-01 19:38:47 +01:00
|
|
|
<li>Revision of: <a href="{# flake_revision.flake_link() #}">{# flake_revision.uri #}</a></a>
|
|
|
|
</ul>
|
|
|
|
|
|
|
|
<h2>Inputs</h2>
|
|
|
|
|
|
|
|
<ul>
|
|
|
|
{% for input in inputs %}
|
|
|
|
<li>
|
|
|
|
{{ input.input_name }}
|
|
|
|
<ul>
|
|
|
|
{% match input.uri %}
|
|
|
|
{% when Some with (uri) %}
|
|
|
|
<li>Flake: <a href="{{ input.flake_link() }}">{{ uri }}</a></li>
|
|
|
|
{% when None %}
|
|
|
|
{% endmatch %}
|
|
|
|
{% match input.revision_uri %}
|
|
|
|
{% when Some with (revision_uri) %}
|
|
|
|
<li>Revision: <a href="{{ input.revision_link() }}">{{ revision_uri }}</a></li>
|
|
|
|
{% when None %}
|
|
|
|
{% endmatch %}
|
|
|
|
</ul>
|
|
|
|
</li>
|
|
|
|
{% endfor %}
|
|
|
|
</ul>
|
|
|
|
{% endblock %}
|
|
|
|
|