branch: main
commit f9c951d95d3147eec85f34cd54581ec359af6c65
Author: Ludovic Courtès <l...@gnu.org>
AuthorDate: Thu Dec 26 15:07:26 2024 +0100
templates: Display pull-request info on evaluation build page.
* src/cuirass/templates.scm (evaluation-build-table): Add #:properties.
Add call to ‘pull-request-info-box’.
* src/cuirass/http.scm (evaluation-html-page): Pass #:properties to
‘evaluation-build-table’.
---
src/cuirass/http.scm | 2 ++
src/cuirass/templates.scm | 3 +++
2 files changed, 5 insertions(+)
diff --git a/src/cuirass/http.scm b/src/cuirass/http.scm
index 9de56fb..25b9074 100644
--- a/src/cuirass/http.scm
+++ b/src/cuirass/http.scm
@@ -317,6 +317,8 @@ Hydra format."
(string-append "Evaluation " (number->string id)
" | " specification)
(evaluation-build-table evaluation
+ #:properties
+ (specification-properties specification*)
#:channels channels
#:checkouts checkouts
#:checkout-changes checkout-changes
diff --git a/src/cuirass/templates.scm b/src/cuirass/templates.scm
index b15830b..ef7e241 100644
--- a/src/cuirass/templates.scm
+++ b/src/cuirass/templates.scm
@@ -1649,6 +1649,7 @@ the channel's URL."
(define* (evaluation-build-table evaluation
#:key
+ (properties '())
channels
(checkouts '())
(checkout-changes '())
@@ -1679,6 +1680,8 @@ evaluation."
,(checkout-table checkouts channels
#:changes checkout-changes)
+ ,(pull-request-info-box properties)
+
,(let ((status (evaluation-summary-status evaluation)))
(cond ((= status (evaluation-status started))
`(p (@ (class "lead"))
