update #7
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: | |
| push: | |
| tags: | |
| - 'v*' | |
| permissions: | |
| contents: write | |
| name: build | |
| jobs: | |
| build: | |
| name: Build Koka | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest] #, macOS-latest] | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| - uses: freckle/stack-action@v5 | |
| with: | |
| test: false | |
| stack-build-arguments: "" | |
| cache-save-always: true | |
| # - uses: haskell-actions/setup@v2 | |
| # with: | |
| # enable-stack: true | |
| # stack-version: 'latest' | |
| # - run: | | |
| # stack config set system-ghc --global false | |
| # stack config set install-ghc --global true | |
| # - name: List dependencies | |
| # run: stack ls dependencies json | jq > stack-deps.json | |
| # - name: Restore cached dependency of Pantry (Stackage package index) | |
| # uses: actions/cache/restore@v4 | |
| # id: pantry | |
| # env: | |
| # key: ghc-${{ steps.setup.outputs.ghc-version }}-stack-${{ steps.setup.outputs.stack-version }} | |
| # with: | |
| # path: ${{ steps.setup.outputs.stack-root }}/pantry | |
| # key: all-plan-${{ hashFiles('stack-deps.json') }} | |
| # restore-keys: all | |
| # - name: Recompute Stackage package index (~/.stack/pantry) | |
| # if: steps.pantry.outputs.cache-hit != 'true' | |
| # run: stack update | |
| # - name: Stack lock check | |
| # run: stack build --dry-run --lock-file=error-on-write | |
| - name: Build | |
| run: stack build | |
| - name: Run Koka Packaging | |
| run: | | |
| stack exec koka -- -e -O2 util/bundle | |
| - name: Release | |
| uses: softprops/action-gh-release@v1 | |
| with: | |
| files: | | |
| bundle/**/*.tar.gz | |
| make_latest: true | |
| # - name: Save cached dependencies of Pantry | |
| # uses: actions/cache/save@v4 | |
| # if: steps.pantry.outputs.cache-hit != 'true' | |
| # with: | |
| # path: ${{ steps.setup.outputs.stack-root }}/pantry | |
| # key: ${{ steps.pantry.outputs.cache-primary-key }} |