[pull] master from agda:master #405
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
| ###################################################### | |
| ## ## | |
| ## !!!! Autogenerated YAML file, do not edit !!!! ## | |
| ## ## | |
| ## Edit source in /src/github/workflows/ instead! ## | |
| ## ## | |
| ###################################################### | |
| jobs: | |
| auto-cancel: | |
| if: | | |
| !contains(github.event.head_commit.message, '[skip ci]') | |
| && !contains(github.event.head_commit.message, '[ci skip]') | |
| && !contains(github.event.head_commit.message, '[github skip]') | |
| && !contains(github.event.head_commit.message, '[skip github]') | |
| runs-on: Ubuntu-latest | |
| steps: | |
| - uses: styfle/cancel-workflow-action@0.12.1 | |
| with: | |
| access_token: ${{ github.token }} | |
| stack: | |
| defaults: | |
| run: | |
| shell: bash | |
| env: | |
| ARGS: --stack-yaml=stack-${{ matrix.ghc-ver }}.yaml --system-ghc --no-terminal | |
| EXTRA_ARGS: --dry-run | |
| NON_DEFAULT_FLAGS: --flag Agda:enable-cluster-counting --flag Agda:debug --flag | |
| Agda:debug-serialisation --flag Agda:debug-parsing | |
| needs: auto-cancel | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Get the ICU version from pkg-config | |
| run: | | |
| ICU_VER=$(pkg-config --modversion icu-i18n) | |
| echo "ICU_VER=${ICU_VER}" | |
| echo "ICU_VER=${ICU_VER}" >> "${GITHUB_ENV}" | |
| - uses: actions/checkout@v4 | |
| - id: haskell-setup | |
| uses: haskell-actions/setup@v2 | |
| with: | |
| enable-stack: true | |
| ghc-version: ${{ matrix.ghc-ver }} | |
| stack-version: ${{ matrix.stack-ver }} | |
| - name: Stack dry-run with the default flags in Agda.cabal. | |
| run: stack build ${ARGS} ${EXTRA_ARGS} --test | |
| - name: Stack-dry-run Agda with the non-default flags in Agda.cabal. | |
| run: stack build ${ARGS} ${EXTRA_ARGS} ${NON_DEFAULT_FLAGS} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| ghc-ver: | |
| - 9.6.5 | |
| - 9.4.8 | |
| - 9.2.8 | |
| - 9.0.2 | |
| - 8.10.7 | |
| - 8.8.4 | |
| os: | |
| - ubuntu-24.04 | |
| stack-ver: | |
| - latest | |
| timeout-minutes: 10 | |
| name: Stack check snapshots | |
| 'on': | |
| pull_request: | |
| paths: | |
| - .github/workflows/stack-dry-run.yml | |
| - Agda.cabal | |
| - Setup.hs | |
| - stack-*.yaml | |
| - '!stack-9.8.2.yaml' | |
| - src/size-solver/size-solver.cabal | |
| push: | |
| branches: | |
| - master | |
| - ci-* | |
| - release* | |
| paths: | |
| - .github/workflows/stack-dry-run.yml | |
| - Agda.cabal | |
| - Setup.hs | |
| - stack-*.yaml | |
| - '!stack-9.8.2.yaml' | |
| - src/size-solver/size-solver.cabal | |
| workflow_dispatch: null |