diff options
| author | Christopher Baines <mail@cbaines.net> | 2019-07-27 09:38:36 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2019-07-27 09:38:36 +0100 |
| commit | a2caa3ea302974b00801efbd96987d35bbbc8aa1 (patch) | |
| tree | 856f14b81ddcfe16326c5a5744ec64959f100739 | |
| parent | 75226a1499117d551e859491cc7abcf634d09a98 (diff) | |
| download | data-service-a2caa3ea302974b00801efbd96987d35bbbc8aa1.tar data-service-a2caa3ea302974b00801efbd96987d35bbbc8aa1.tar.gz | |
Link to the Statistics and Jobs pages from the index page
| -rw-r--r-- | guix-data-service/web/view/html.scm | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/guix-data-service/web/view/html.scm b/guix-data-service/web/view/html.scm index 8773d73..c790769 100644 --- a/guix-data-service/web/view/html.scm +++ b/guix-data-service/web/view/html.scm @@ -230,7 +230,20 @@ (@ (class "row")) (div (@ (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 (match-lambda (((repository-id label url cgit-url-base) . branches-with-most-recent-commits) |