Link to the lint warnings page from the revision page

This commit is contained in:
Christopher Baines 2019-09-01 17:27:36 +01:00
parent be25e487f1
commit 14fab21dc1

View file

@ -451,8 +451,10 @@
'()))))) '())))))
jobs-and-events))))) jobs-and-events)))))
(define (view-revision/lint-warning-counts lint-warning-counts) (define (view-revision/lint-warning-counts path-base lint-warning-counts)
`((h3 "Lint warnings") `((h3 "Lint warnings")
(a (@ (href ,(string-append path-base "/lint-warnings")))
"View lint warnings")
(table (table
(@ (class "table")) (@ (class "table"))
(thead (thead
@ -503,7 +505,8 @@
(view-revision/git-repositories git-repositories-and-branches (view-revision/git-repositories git-repositories-and-branches
commit-hash)) commit-hash))
,@(view-revision/jobs-and-events jobs-and-events) ,@(view-revision/jobs-and-events jobs-and-events)
,@(view-revision/lint-warning-counts lint-warning-counts)) ,@(view-revision/lint-warning-counts path-base
lint-warning-counts))
(div (div
(@ (class "col-md-6")) (@ (class "col-md-6"))
(h3 "Derivations") (h3 "Derivations")