CI: set heap size to 6G (#1073)

* CI: set heap size to 6G * CI: Change it in the makefile instead... * Revert "CI: set heap size to 6G" This reverts commit 24d7874.
agda · Oct 30, 2023 · b0c105f · b0c105f
1 parent abdb1f9
commit b0c105f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GNUmakefile b/GNUmakefile
@@ -2,7 +2,7 @@ AGDA_BIN?=agda
 AGDA_FLAGS?=-W error
 AGDA_EXEC?=$(AGDA_BIN) $(AGDA_FLAGS)
 FIX_WHITESPACE?=fix-whitespace
-RTS_OPTIONS=+RTS -H3G -RTS
+RTS_OPTIONS=+RTS -H6G -RTS
 AGDA=$(AGDA_EXEC) $(RTS_OPTIONS)
 RUNHASKELL?=runhaskell
 EVERYTHINGS=$(RUNHASKELL) ./Everythings.hs