Improve the linking to build servers

Add a build-url function that returns the URL to use, and use this where
appropriate.
This commit is contained in:
Christopher Baines 2020-07-01 19:51:21 +01:00
parent 1e2fefa7cf
commit dc8b442e12
5 changed files with 37 additions and 30 deletions

View file

@ -103,14 +103,15 @@
(tbody
,@(map
(match-lambda
((build-id build-server-url derivation-file-name
((build-id build-server-url build-server-build-id
derivation-file-name
timestamp status)
`(tr
(td (@ (class "text-center"))
(a (@ (href
,(simple-format
#f "/build-server/~A/build?derivation_file_name=~A"
,(build-url
(assoc-ref build-server-options build-server-url)
build-server-build-id
derivation-file-name)))
,(build-status-span status)))
(td (a (@ (href ,derivation-file-name))