Link to the Statistics and Jobs pages from the index page

This commit is contained in:
Christopher Baines 2019-07-27 09:38:36 +01:00
parent 75226a1499
commit a2caa3ea30

View file

@ -230,7 +230,20 @@
(@ (class "row")) (@ (class "row"))
(div (div
(@ (class "col-sm-12")) (@ (class "col-sm-12"))
(h1 "Guix Data Service"))) (h1 (@ (style "display: inline-block;"))
"Guix Data Service")
(div
(@ (class "btn-group pull-right")
(style "margin-top: 1.3rem;")
(role "group"))
(a (@ (class "btn btn-lg btn-default")
(href "/statistics")
(role "button"))
"Statistics")
(a (@ (class "btn btn-lg btn-default")
(href "/jobs")
(role "button"))
"Jobs"))))
,@(map ,@(map
(match-lambda (match-lambda
(((repository-id label url cgit-url-base) . branches-with-most-recent-commits) (((repository-id label url cgit-url-base) . branches-with-most-recent-commits)