templates: Move RSS button to the right.

* src/cuirass/templates.scm (specifications-table): Make “RSS events”
the rightmost button.
(evaluation-info-table): Likewise.
This commit is contained in:
Ludovic Courtès 2023-10-29 17:26:55 +01:00
parent 6611151b7f
commit 286fef2ebb
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 20 additions and 20 deletions

View File

@ -293,6 +293,14 @@ system whose names start with " (code "guile-") ":" (br)
`((div (@ (class "d-flex flex-row mb-3"))
(div (@ (class "lead mr-auto"))
"Specifications")
,(let ((name "Toggle between success rate and job count"))
`(div
(button (@ (class "btn btn-outline-primary job-toggle mr-1")
(title ,name)
(aria-label ,name)
(type "button"))
(i (@ (class "oi oi-dashboard d-inline-block py-1"))
""))))
,(let ((name "Add a specification"))
`(div
(a (@ (class "btn btn-outline-primary mr-1")
@ -304,21 +312,13 @@ system whose names start with " (code "guile-") ":" (br)
""))))
,(let ((name "RSS events"))
`(div
(a (@ (class "btn btn-outline-warning mr-1")
(a (@ (class "btn btn-outline-warning")
(href "/events/rss/")
(title ,name)
(aria-label ,name)
(role "button"))
(i (@ (class "oi oi-rss text-warning py-1"))
""))))
,(let ((name "Toggle between success rate and job count"))
`(div
(button (@ (class "btn btn-outline-primary job-toggle")
(title ,name)
(aria-label ,name)
(type "button"))
(i (@ (class "oi oi-dashboard d-inline-block py-1"))
"")))))
"")))))
(table
(@ (id "spec-table")
(class "table table-sm table-hover"))
@ -1015,24 +1015,24 @@ the existing SPEC otherwise."
`((div (@ (class "d-flex flex-row mb-3"))
(div (@ (class "lead mr-auto"))
"Evaluations of " ,name)
,(let ((name "Toggle between build changes and build overview"))
`(div
(button (@ (class "btn btn-outline-primary job-toggle mr-1")
(title ,name)
(aria-label ,name)
(type "button"))
(i (@ (class "oi oi-dashboard d-inline-block py-1"))
""))))
,(let ((rss-name "RSS events"))
`(div
(a (@ (class "btn btn-outline-warning mr-1")
(a (@ (class "btn btn-outline-warning")
(href "/events/rss/?specification=" ,name)
(title ,rss-name)
(aria-label ,rss-name)
(role "button"))
(i (@ (class "oi oi-rss text-warning py-1")
(aria-hidden "true"))
""))))
,(let ((name "Toggle between build changes and build overview"))
`(div
(button (@ (class "btn btn-outline-primary job-toggle")
(title ,name)
(aria-label ,name)
(type "button"))
(i (@ (class "oi oi-dashboard d-inline-block py-1"))
"")))))
"")))))
(table
(@ (class "table table-sm table-hover table-striped"))
,@(if (null? evaluations)