From 96b5ce4ab0fac359a1fe59184e1aa955de5ec1a1 Mon Sep 17 00:00:00 2001 From: Steffen Jost Date: Wed, 19 Apr 2023 15:25:01 +0000 Subject: [PATCH] chore(build): fix ghc options --- package.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.yaml b/package.yaml index 6654c1913..4969e3422 100644 --- a/package.yaml +++ b/package.yaml @@ -345,7 +345,7 @@ tests: ghc-options: - -fno-warn-orphans - -threaded -rtsopts "-with-rtsopts=-N -T" - - -fprof + - -prof - -fprof-auto hlint: main: Hlint.hs