diff options
| author | Christopher Baines <mail@cbaines.net> | 2020-06-28 21:54:11 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2020-07-01 09:35:29 +0100 |
| commit | 919255033121c0aeab6c4c16d58359a07b3408b5 (patch) | |
| tree | 652766b4fdba9f1bba89274fe6282fd6e3e63808 /guix-data-service/web/view | |
| parent | 879021f21f464c1f06aaa3595cc59d6d643b0347 (diff) | |
| download | data-service-919255033121c0aeab6c4c16d58359a07b3408b5.tar data-service-919255033121c0aeab6c4c16d58359a07b3408b5.tar.gz | |
Implement more support for builds from the Guix Build Coordinator
Builds from the Guix Build Coordinator might not have timestamps, and the id
from the build server is more important, as one build server can build the
same derivation many times.
Diffstat (limited to 'guix-data-service/web/view')
| -rw-r--r-- | guix-data-service/web/view/html.scm | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/guix-data-service/web/view/html.scm b/guix-data-service/web/view/html.scm index d734cd0..cf5421a 100644 --- a/guix-data-service/web/view/html.scm +++ b/guix-data-service/web/view/html.scm @@ -631,15 +631,24 @@ time." ,(build-status-span ""))) (map (match-lambda - ((build-server-id build-server-url timestamp status) + ((build-server-id build-server-url + build-server-build-id + timestamp status) + (define build-url + (if (string? build-server-build-id) + (simple-format + #f "/build-server/~A/build?build_server_build_id=~A" + build-server-id + build-server-build-id) + (simple-format + #f "/build-server/~A/build?derivation_file_name=~A" + build-server-id + (second derivation)))) + `(div (@ (class "text-center")) (div - (a (@ (href - ,(simple-format - #f "/build-server/~A/build?derivation_file_name=~A" - build-server-id - (second derivation)))) + (a (@ (href ,build-url)) ,(build-status-span status))) (a (@ (style "display: inline-block; margin-top: 0.4em;") (href ,(simple-format |