Merge remote-tracking branch 'origin/pr/818'

This commit is contained in:
Julian Ospald 2023-05-01 16:02:32 +08:00
commit 278a3005d1
No known key found for this signature in database
GPG Key ID: CCC85C0E40C06A8C

View File

@ -563,7 +563,7 @@ del' _ (_, ListResult {..}) = do
) )
>>= \case >>= \case
VRight vi -> do VRight vi -> do
logGHCPostRm (mkTVer lVer) when (lTool == GHC) $ logGHCPostRm (mkTVer lVer)
forM_ (_viPostRemove =<< vi) $ \msg -> forM_ (_viPostRemove =<< vi) $ \msg ->
logInfo msg logInfo msg
pure $ Right () pure $ Right ()