branch: main
commit 13737f2e156617dc74f388e8d6f01bd08f0f231a
Author: Ludovic Courtès <[email protected]>
AuthorDate: Thu Dec 26 14:57:00 2024 +0100
templates: Add missing unquote for pull request info box.
* src/cuirass/templates.scm (pull-request-info-box): Add missing
unquote.
---
src/cuirass/templates.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/cuirass/templates.scm b/src/cuirass/templates.scm
index 581f2df..8e4da3f 100644
--- a/src/cuirass/templates.scm
+++ b/src/cuirass/templates.scm
@@ -1074,7 +1074,7 @@ giving information about the corresponding pull request,
if any."
"Jobset of "
(a (@ (href ,(assq-ref properties 'pull-request-url)))
"pull request "
- (number->string (assq-ref properties 'pull-request-number)))
+ ,(number->string (assq-ref properties 'pull-request-number)))
" of "
(a (@ (href
,(assq-ref properties
