diff options
author | stuebinm | 2022-03-20 19:02:06 +0100 |
---|---|---|
committer | stuebinm | 2022-03-20 19:02:06 +0100 |
commit | f72855ea8ade8f94474618c5dacda8dd30171740 (patch) | |
tree | 4f307cd839ade66250ef4e15128976320c2ae7e9 /server/HtmlOrphans.hs | |
parent | 0032307c5868d56490ac1d968c986f8bab5a637b (diff) |
server: keep (one) last good result per repo
(i.e. we want to still have a valid version of the map if new results
where introduced)
Diffstat (limited to '')
-rw-r--r-- | server/HtmlOrphans.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs index aec6fe2..412961b 100644 --- a/server/HtmlOrphans.hs +++ b/server/HtmlOrphans.hs @@ -97,7 +97,7 @@ instance ToHtml AdminOverview where forM_ (view unState state) $ \(org, jobs) -> do h2_ (toHtml $ orgSlug org) if null jobs then em_ "(nothing yet)" - else flip M.foldMapWithKey jobs $ \sha1 (ref, status) -> li_ $ do + else flip M.foldMapWithKey jobs $ \sha1 (ref, status, _lastvalid) -> li_ $ do case status of Pending _ -> badge Info "pending" (Linted res rev _) -> toHtml $ maximumLintLevel res |