CI: set heap size to 6G

agda · Oct 30, 2023 · 24d7874 · 24d7874
1 parent abdb1f9
commit 24d7874
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -131,7 +131,7 @@ jobs:
       - name: Test cubical
         run: |
           make test \
-            AGDA_EXEC='~/.cabal/bin/agda -WnoUnsupportedIndexedMatch -W error' \
+            AGDA_EXEC='~/.cabal/bin/agda +RTS -M6G -RTS -WnoUnsupportedIndexedMatch -W error' \
             FIX_WHITESPACE='~/.cabal/bin/fix-whitespace' \
             EVERYTHINGS='cabal run Everythings'
 
@@ -151,7 +151,7 @@ jobs:
         if: github.event_name == 'push' && github.ref_name == 'master'
         run: |
           make listings \
-            AGDA_EXEC='~/.cabal/bin/agda -WnoUnsupportedIndexedMatch -W error' \
+            AGDA_EXEC='~/.cabal/bin/agda +RTS -M6G -RTS -WnoUnsupportedIndexedMatch -W error' \
             FIX_WHITESPACE='~/.cabal/bin/fix-whitespace' \
             EVERYTHINGS='cabal run Everythings'