diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 532c1f7..9395862 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml | |||
@@ -45,8 +45,10 @@ jobs: | |||
45 | run: | | 45 | run: | |
46 | STACK_ROOT=~/.stack # make it the same on all platforms | 46 | STACK_ROOT=~/.stack # make it the same on all platforms |
47 | stack setup --no-terminal | 47 | stack setup --no-terminal |
48 | stack build --no-terminal | 48 | stack build --no-terminal \ |
49 | stack install --local-bin-path dist | 49 | --flag ldgallery-compiler:portable \ |
50 | --copy-bins \ | ||
51 | --local-bin-path dist | ||
50 | - uses: actions/upload-artifact@v2 | 52 | - uses: actions/upload-artifact@v2 |
51 | with: | 53 | with: |
52 | name: compiler-dist-${{ matrix.os }} | 54 | name: compiler-dist-${{ matrix.os }} |