diff options
| author | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-08 19:33:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-08 19:33:02 +0200 |
| commit | 052916b4540eed5bfe5ee94ba95ca6d00fad6c0a (patch) | |
| tree | e6cbb1d1c0cdc9b270e8dfd568987b5eb0ee9837 /.github/workflows | |
| parent | d07646e75356746ae3a3be96b74d11a367af9333 (diff) | |
try server mode on windows (#194)
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build-binary-packages.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/build-binary-packages.yml b/.github/workflows/build-binary-packages.yml index bdc62123d..40f10c8bb 100644 --- a/.github/workflows/build-binary-packages.yml +++ b/.github/workflows/build-binary-packages.yml @@ -215,8 +215,8 @@ jobs: - name: Build GF run: | - cabal install --only-dependencies - cabal configure + cabal install -fserver --only-dependencies + cabal configure -fserver cabal build copy dist-newstyle/build/x86_64-windows/ghc-${{matrix.ghc}}/*/x/gf/build/gf/gf.exe C:/tmp-dist |