build.yml

# The present workflow was made based on the following references:
# - https://github.com/actions/cache/blob/main/examples.md#haskell---cabal
# - https://github.com/haskell/time/blob/master/.github/workflows/ci.yml
# - https://github.com/stackbuilders/hapistrano/blob/master/.github/workflows/build.yml
# - https://markkarpov.com/post/github-actions-for-haskell-ci.html
---
name: Build

on: push

concurrency:
  group: build-${{ github.ref }}
  cancel-in-progress: true

jobs:
  haskell:
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        os:
          # - macos-latest
          - ubuntu-latest
        ghc:
          - "9.4.8"
          - "9.2.8"
          - "8.10.7"

    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Install Haskell tooling
        uses: haskell/actions/setup@v2
        with:
          ghc-version: ${{ matrix.ghc }}
          cabal-version: "3.6"
      - name: Install Z3
        run: |
          sudo apt-get install -y z3
      - name: Configure project
        run: cabal configure --enable-tests
      - name: Build project
        run: cabal build
      - name: Run tests
        run: cabal test --test-show-details=direct
      - name: Check documentation
        run: cabal haddock