aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristopher Baines <mail@cbaines.net>2019-09-28 23:55:50 +0100
committerChristopher Baines <mail@cbaines.net>2019-09-28 23:55:50 +0100
commit16ed3e376eccfdf3bca2bfca382b735fcf4b72c2 (patch)
tree7c675fbc6627dfc7eab99306e72f8a3b6ba5b0b3
parentea253c4515c9937e02cd6c6650a08733e4a9f7c5 (diff)
downloaddata-service-16ed3e376eccfdf3bca2bfca382b735fcf4b72c2.tar
data-service-16ed3e376eccfdf3bca2bfca382b735fcf4b72c2.tar.gz
Provide the job id for jobs on the revision page
Using the title element, as the identifier is internal, but it's useful for development to be able to find it out, if you want to run the job for testing.
-rw-r--r--guix-data-service/web/view/html.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/guix-data-service/web/view/html.scm b/guix-data-service/web/view/html.scm
index e3836ae..872d6cc 100644
--- a/guix-data-service/web/view/html.scm
+++ b/guix-data-service/web/view/html.scm
@@ -505,7 +505,8 @@
((member "start" event-names)
"info")
(else
- "")))))
+ ""))))
+ (title ,(simple-format #f "Job id: ~A" id)))
(td ,source)
(td
(dl