Tuple kinds, categories and arrows #206
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
| name: CI | |
| # Trigger the workflow on all pull requests and pushes/merges to master branch | |
| on: | |
| pull_request: | |
| push: | |
| branches: [master] | |
| concurrency: | |
| group: ${{ github.head_ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| stack: | |
| name: Stack tests | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Setup Stack / GHC | |
| uses: haskell-actions/setup@v2 | |
| with: | |
| ghc-version: '8.10.7' | |
| cabal-version: '3.10.2.1' | |
| enable-stack: true | |
| stack-version: 'latest' | |
| - name: Cache dependencies | |
| uses: actions/cache@v4 | |
| with: | |
| path: ~/.stack | |
| key: ${{ runner.os }}-ghc-${{ matrix.ghc }}-${{ github.ref }}-${{ github.sha }} | |
| restore-keys: | | |
| ${{ runner.os }}-ghc-${{ matrix.ghc }}-${{ github.ref }}-${{ github.sha }} | |
| ${{ runner.os }}-ghc-${{ matrix.ghc }}-${{ github.ref }}- | |
| ${{ runner.os }}-ghc-${{ matrix.ghc }}- | |
| # Ask Stack to use system GHC instead of installing its own copy | |
| - name: Use system GHC | |
| run: | | |
| stack config set system-ghc --global true | |
| - name: Test with Stack | |
| run: | | |
| .ci/test_stack.sh | |
| cabal: | |
| name: Cabal tests - ghc ${{ matrix.ghc }} / clash ${{ matrix.clash }} | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [ubuntu-latest] | |
| clash: | |
| - "1.6.1" | |
| - "1.8.1" | |
| cabal: | |
| - "3.10" | |
| ghc: | |
| - "8.10.7" | |
| - "9.0.2" | |
| - "9.2.8" | |
| - "9.4.8" | |
| - "9.6.4" | |
| exclude: | |
| # Clash 1.6 doesn't support latest GHCs | |
| - {clash: "1.6.1", ghc: "9.2.8"} | |
| - {clash: "1.6.1", ghc: "9.4.8"} | |
| - {clash: "1.6.1", ghc: "9.6.4"} | |
| env: | |
| clash_version: ${{ matrix.clash }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Setup Haskell | |
| uses: haskell-actions/setup@v2 | |
| id: setup-haskell-cabal | |
| with: | |
| ghc-version: ${{ matrix.ghc }} | |
| cabal-version: ${{ matrix.cabal }} | |
| - name: Use CI specific settings | |
| run: | | |
| cp .ci/cabal.project.local . | |
| - name: Setup CI | |
| run: | | |
| cabal v2-freeze | |
| mv cabal.project.freeze frozen | |
| - name: Cache dependencies | |
| uses: actions/cache@v4 | |
| with: | |
| path: ${{ steps.setup-haskell-cabal.outputs.cabal-store }} | |
| key: ${{ runner.os }}-ghc-${{ matrix.ghc }}-${{ matrix.clash }}-${{ hashFiles('frozen') }} | |
| restore-keys: | | |
| ${{ runner.os }}-ghc-${{ matrix.ghc }}-${{ matrix.clash }}-${{ hashFiles('frozen') }} | |
| ${{ runner.os }}-ghc-${{ matrix.ghc }}-${{ matrix.clash }}- | |
| ${{ runner.os }}-ghc-${{ matrix.ghc }}- | |
| - name: Build | |
| run: | | |
| cabal build all --constraint=clash-prelude==$clash_version -fci | |
| - name: Test | |
| run: | | |
| .ci/test_cabal.sh | |
| - name: Documentation | |
| run: | | |
| .ci/build_docs.sh | |
| linting: | |
| name: Source code linting | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Whitespace | |
| run: | | |
| .ci/test_whitespace.sh |