Release candidate: try to speed up and improve windows build.

2026-08-24 17:26:32 +00:00 · 2022-08-17 14:05:51 -07:00
parent b3fdfb912c
commit 67f6c9eb75
1 changed files with 2 additions and 1 deletions
@@ -34,7 +34,8 @@ jobs:
        versions:
          - osarch: "windows-x86_64"
            arch: "x64"
-            stack_opts: "-j1"
+            stack_opts: '-j4 +RTS -A256m -RTS -split-sections'
+
    steps:
    - uses: actions/checkout@v3
    - name: Install dependencies