Link to the derivation history page from the branch package page
This commit is contained in:
parent
7654877991
commit
1ce1a405a6
1 changed files with 17 additions and 7 deletions
|
|
@ -176,13 +176,23 @@
|
||||||
(a (@ (href ,(string-append "/repository/" git-repository-id
|
(a (@ (href ,(string-append "/repository/" git-repository-id
|
||||||
"/branch/" branch-name)))
|
"/branch/" branch-name)))
|
||||||
(h3 ,(string-append branch-name " branch")))
|
(h3 ,(string-append branch-name " branch")))
|
||||||
(a (@ (class "btn btn-default btn-lg pull-right")
|
(div
|
||||||
|
(@ (class "btn-group pull-right")
|
||||||
|
(role "group"))
|
||||||
|
(a (@ (class "btn btn-default btn-lg")
|
||||||
|
(href ,(string-append
|
||||||
|
"/repository/" git-repository-id
|
||||||
|
"/branch/" branch-name
|
||||||
|
"/package/" package-name
|
||||||
|
"/derivation-history")))
|
||||||
|
"Include derivations")
|
||||||
|
(a (@ (class "btn btn-default btn-lg")
|
||||||
(href ,(string-append
|
(href ,(string-append
|
||||||
"/repository/" git-repository-id
|
"/repository/" git-repository-id
|
||||||
"/branch/" branch-name
|
"/branch/" branch-name
|
||||||
"/package/" package-name
|
"/package/" package-name
|
||||||
".json")))
|
".json")))
|
||||||
"View JSON")
|
"View JSON"))
|
||||||
(h1 (@ (style "white-space: nowrap;"))
|
(h1 (@ (style "white-space: nowrap;"))
|
||||||
(samp ,package-name))))
|
(samp ,package-name))))
|
||||||
(div
|
(div
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue