diff options
Diffstat (limited to 'server/HtmlOrphans.hs')
| -rw-r--r-- | server/HtmlOrphans.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs index 0472f24..c9fa852 100644 --- a/server/HtmlOrphans.hs +++ b/server/HtmlOrphans.hs @@ -52,7 +52,7 @@ instance ToHtml JobStatus where Pending -> do h1_ "Pending …" p_ "(please note that this site won't auto-reload, you'll have to refresh it yourself)" - Linted res -> do + Linted res _rev -> do h1_ "Linter Result" toHtml res Failed err -> do @@ -68,9 +68,9 @@ instance ToHtml AdminOverview where if null jobs then em_ "(nothing yet)" else flip M.foldMapWithKey jobs $ \sha1 (ref, status) -> li_ $ do case status of - Pending -> badge Info "pending" - (Linted res) -> toHtml $ maximumLintLevel res - (Failed _) -> badge Error "system error" + Pending -> badge Info "pending" + (Linted res rev) -> toHtml $ maximumLintLevel res + (Failed _) -> badge Error "system error" " "; a_ [href_ ("/status/"+|orgSlug org|+"/"+|prettySha sha1|+"/")] $ do mono $ toHtml $ reporef ref; " on "; mono $ toHtml $ repourl ref |