apply hlint suggestions; fix the ci

agora/Agora/Governor.hs

@@ -35,7 +35,7 @@ import Agora.Proposal (
   PProposalThresholds,
   ProposalId,
   ProposalThresholds,
-  pnextProposalId 
+  pnextProposalId,
  )
 import Agora.Utils (
   allInputs,
@@ -202,7 +202,7 @@ governorValidator params =
     newParams <- pletFields @'["proposalThresholds", "nextProposalId"] newDatum'
 
     mint <- plet $ pfromData $ pfield @"mint" # txInfo
-    mint' <- plet $ pto $ pto $ pto $ mint
+    mint' <- plet $ pto $ pto $ pto mint
 
     case redeemer of
       PCreateProposal _ -> P.do

agora/Agora/Proposal.hs

@@ -32,7 +32,7 @@ module Agora.Proposal (
   proposalDatumValid,
 
   -- * Utils
-  pnextProposalId
+  pnextProposalId,
 ) where
 
 import GHC.Generics qualified as GHC