From b0c105f6f0868b82d477f3d0e297e18724bcc3fd Mon Sep 17 00:00:00 2001
From: Felix Cherubini <felix.cherubini@posteo.de>
Date: Mon, 30 Oct 2023 09:10:13 +0100
Subject: [PATCH] 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 24d7874da8d33addfaea77d1055259db62ef108f.
---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index b9151dd25a..6e58efd832 100644
--- 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