From 496949a9ca806bab084632a6e0b3841256e81569 Mon Sep 17 00:00:00 2001
From: Jiri Kyjovsky <j1.kyjovsky@gmail.com>
Date: Aug 29 2022 10:25:33 +0000
Subject: frontend: show the batch ID (if assigned) in the build detail


---

diff --git a/frontend/coprs_frontend/coprs/templates/coprs/detail/build.html b/frontend/coprs_frontend/coprs/templates/coprs/detail/build.html
index 8fd4ebe..9a49b01 100644
--- a/frontend/coprs_frontend/coprs/templates/coprs/detail/build.html
+++ b/frontend/coprs_frontend/coprs/templates/coprs/detail/build.html
@@ -104,6 +104,14 @@
             PR#{{ build.scm_object_id }}
           </dd>
           {% endif %}
+          {% if build.batch_id %}
+            <dt> Batch: </dt>
+            <dd>
+              <a href="{{ url_for('batches_ns.coprs_batch_detail', batch_id=build.batch_id) }}">
+                {{ build.batch_id }}
+              </a>
+            </dd>
+          {% endif %}
           <dt> Directory: </dt>
           <dd>
             <a href="{{ build.copr_dir.repo_url }}">