From 2e55cc15f1c5f600dcc0e192158805522063e0c9 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 1 Jun 2024 18:11:22 -0700 Subject: [PATCH] [CI] [Haskell] Increase heap size to avoid heap overflow (#1915) --- .github/workflows/coq-docker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index 5e60bbab31..e0a2a6dc79 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -399,7 +399,7 @@ jobs: name: ExtractionHaskell-source-${{ matrix.coq-version }} path: src/ExtractionHaskell - name: standalone-haskell - run: etc/ci/github-actions-make.sh -f Makefile.standalone -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS' + run: etc/ci/github-actions-make.sh -f Makefile.standalone -j1 standalone-haskell GHCFLAGS='+RTS -M9G -RTS' - name: upload Haskell files uses: actions/upload-artifact@v4 with: