diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-01 10:06:10 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-01 10:06:10 -0800 |
| commit | 26c496d93647dd589af6c07c2273801ff7b49950 (patch) | |
| tree | 47c0f4e23d8e3c8e3b5698122fa30ac3ae481bf3 /.github | |
| parent | 7f1b933aaacf4a01fb23fa4989f190098e96e702 (diff) | |
| download | pandoc-26c496d93647dd589af6c07c2273801ff7b49950.tar.gz | |
Use -split-sections in creating release binary.
This is supposed to reduce executable size.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/release-candidate.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/release-candidate.yml b/.github/workflows/release-candidate.yml index 85ae96860..4afc7df08 100644 --- a/.github/workflows/release-candidate.yml +++ b/.github/workflows/release-candidate.yml @@ -31,7 +31,7 @@ jobs: versions: - osarch: "windows-x86_64" arch: "x64" - stack_opts: "-j1" + stack_opts: "-j1 --ghc-options=-split-sections" steps: - uses: actions/checkout@v1 |