diff options
Diffstat (limited to '.github/workflows')
| -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 }} |