diff options
author | Christopher Baines <mail@cbaines.net> | 2019-09-28 23:55:50 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2019-09-28 23:55:50 +0100 |
commit | 16ed3e376eccfdf3bca2bfca382b735fcf4b72c2 (patch) | |
tree | 7c675fbc6627dfc7eab99306e72f8a3b6ba5b0b3 | |
parent | ea253c4515c9937e02cd6c6650a08733e4a9f7c5 (diff) | |
download | data-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.scm | 3 |
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 |