Say that there are no lint warnings

Rather than having an empty table.
This commit is contained in:
Christopher Baines 2020-03-21 11:01:16 +00:00
parent e108ed34e2
commit e18f3861f8

View file

@ -280,7 +280,15 @@
(th "Message") (th "Message")
(th "Location"))) (th "Location")))
(tbody (tbody
,@(map ,@(if (null? lint-warnings)
`((tr
(td (@ (colspan 3)
(align "center"))
"No lint warnings "
(span
(@ (class "label label-success"))
"✓"))))
(map
(match-lambda (match-lambda
((id lint-checker-name lint-checker-description ((id lint-checker-name lint-checker-description
lint-checker-network-dependent lint-checker-network-dependent
@ -319,7 +327,7 @@
`(li ,@output))))) `(li ,@output)))))
git-repositories))) git-repositories)))
'()))))) '())))))
lint-warnings))))))))) lint-warnings))))))))))
(define (view-revision/git-repositories git-repositories-and-branches (define (view-revision/git-repositories git-repositories-and-branches
commit-hash) commit-hash)