ci: Add -with-rtsopts=-KxK option to prevent introducing space leaks

Resolves #387
This commit is contained in:
Wolfgang Walther
2022-01-10 22:09:32 +01:00
committed by Wolfgang Walther
parent a25ad42644
commit 6b5370f145
+6
View File
@@ -152,6 +152,8 @@ executable postgrest
if flag(dev)
ghc-options: -O0 -fwrite-ide-info
-- https://github.com/PostgREST/postgrest/issues/387
-with-rtsopts=-K1K
if flag(hpc)
ghc-options: -fhpc -hpcdir .hpc
else
@@ -233,6 +235,8 @@ test-suite spec
-fno-spec-constr -optP-Wno-nonportable-include-path
-fno-warn-missing-signatures
-fwrite-ide-info
-- https://github.com/PostgREST/postgrest/issues/387
-with-rtsopts=-K33K
test-suite querycost
type: exitcode-stdio-1.0
@@ -268,6 +272,8 @@ test-suite querycost
ghc-options: -O0 -Werror -Wall -fwarn-identities
-fno-spec-constr -optP-Wno-nonportable-include-path
-fwrite-ide-info
-- https://github.com/PostgREST/postgrest/issues/387
-with-rtsopts=-K1K
test-suite doctests
type: exitcode-stdio-1.0