diff --git a/agora-test/Spec/Int.hs b/agora-test/Spec/Int.hs
index 8063784..33d211d 100644
--- a/agora-test/Spec/Int.hs
+++ b/agora-test/Spec/Int.hs
@@ -1,4 +1,10 @@
-module Spec.Int (HasLogicalModel (..), IntProp (..), intGenTests, intPureTests, intPlutarchTests) where
+module Spec.Int (
+  HasLogicalModel (..),
+  IntProp (..),
+  intGenTests,
+  intPureTests,
+  intPlutarchTests,
+) where
 
 import Apropos
 import Apropos.Script
diff --git a/agora-test/Spec/Treasury.hs b/agora-test/Spec/Treasury.hs
index b6fbdda..c0d814f 100644
--- a/agora-test/Spec/Treasury.hs
+++ b/agora-test/Spec/Treasury.hs
@@ -1 +1,10 @@
 module Spec.Treasury () where
+
+import Test.Tasty (TestTree, testGroup)
+
+tests :: [TestTree]
+tests =
+  [ testGroup
+      "treasury"
+      []
+  ]
diff --git a/agora-test/Spec/Util.hs b/agora-test/Spec/Util.hs
index 3db7f53..ce8861f 100644
--- a/agora-test/Spec/Util.hs
+++ b/agora-test/Spec/Util.hs
@@ -24,7 +24,12 @@ import Plutus.V1.Ledger.Scripts (Script)
 
 --------------------------------------------------------------------------------
 
-policySucceedsWith :: String -> ClosedTerm PMintingPolicy -> ClosedTerm PData -> _ -> TestTree
+policySucceedsWith ::
+  String ->
+  ClosedTerm PMintingPolicy ->
+  ClosedTerm PData ->
+  _ ->
+  TestTree
 policySucceedsWith tag policy redeemer scriptContext =
   scriptSucceeds tag $ compile (policy # redeemer # pconstant scriptContext)