From 3e23d44617b11456356009b512892bb0b9ce55e4 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 1 Jun 2024 07:45:48 -0700 Subject: [PATCH 1/2] [CI] [Haskell] Increase heap size to avoid heap overflow --- .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..23c06d5330 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 -M8G -RTS' - name: upload Haskell files uses: actions/upload-artifact@v4 with: From bd1639555409bdd2d3c4a35e0d7ef792c35a8573 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 1 Jun 2024 14:18:50 -0700 Subject: [PATCH 2/2] 9G heap --- .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 23c06d5330..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 -M8G -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: