Learn more about these different git repos.
Other Git URLs
d3e11ef
d06b638
b986228
@@ -747,6 +747,9 @@
<a href="{{ build_href(build_chroot) }}">
{{ build_chroot.id }}
</a>
+ {% if build_chroot.is_background %}
+ <span class="badge">background</span>
+ {% endif %}
</td>
{% if type != 'importing' %}
{% if task_type == 'srpm' %}
@@ -37,7 +37,11 @@
{{ copr_build_repeat_form(build, page, class="pull-right button-build-action") }}
{% endif %}
- <h2 class="page-title">Build {{ build.id }} </h2>
+ <h2 class="page-title">Build {{ build.id }}
+ {% if build.is_background %}
+ </h2>
<div class="row">
<div class="col-sm-12">
@@ -42,6 +42,7 @@
"submitter": build.user.name if build.user else None,
"chroots": [chroot.name for chroot in build.build_chroots],
"project_dirname": build.copr_dir.name,
+ "is_background": build.is_background,
}
Build succeeded.
Screenshots https://k00.fr/s9fo5nhn https://k00.fr/50cwedh6
rebased onto 4bcbabc2d2602b3d15e7168f5357b4c8e86ee0d3
rebased onto b986228
Pull-Request has been merged by praiskup