more docs
This commit is contained in:
parent
633c3bea9e
commit
4feaaf1e06
3 changed files with 16 additions and 0 deletions
|
|
@ -11,6 +11,7 @@ import Test.Tasty (defaultMain, testGroup)
|
|||
import Spec.Model.MultiSig qualified as MultiSig
|
||||
import Spec.Stake qualified as Stake
|
||||
|
||||
-- | The Agora test suite
|
||||
main :: IO ()
|
||||
main =
|
||||
defaultMain $
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue