[CI] [Haskell] Increase heap size to avoid heap overflow (#1915)

mit-plv · Jun 2, 2024 · 2e55cc1 · 2e55cc1
1 parent a1cfdca
commit 2e55cc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: