diff options
| author | John MacFarlane <[email protected]> | 2022-08-17 14:05:51 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-17 14:05:51 -0700 |
| commit | 67f6c9eb75596b4e891b7b5ab07c047181a166b4 (patch) | |
| tree | acc63fdfe07819b2c19d903fb23ba1ecca1f57aa /.github/workflows | |
| parent | b3fdfb912c42f6a6d837e00bf71c59da753ea4ae (diff) | |
Release candidate: try to speed up and improve windows build.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/release-candidate.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/release-candidate.yml b/.github/workflows/release-candidate.yml index 3b4b829ac..97ca10f85 100644 --- a/.github/workflows/release-candidate.yml +++ b/.github/workflows/release-candidate.yml @@ -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 |