Skip to content

Switch to haskell-actions/setup #419

Switch to haskell-actions/setup

Switch to haskell-actions/setup #419

Workflow file for this run

name: cabal
on:
push:
pull_request:
jobs:
build:
name: ghc ${{ matrix.ghc }}
runs-on: ubuntu-latest
strategy:
matrix:
cabal: ["3.10"]
ghc:
- "8.2.2"
# - "8.10.7" is built and tested by the stan action.
- "9.2.8"
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: haskell-actions/setup@v2
name: Setup GHC and cabal-install
with:
ghc-version: ${{ matrix.ghc }}
cabal-version: ${{ matrix.cabal }}
- uses: actions/cache@v2
name: cache ~/.cabal/store
with:
path: ~/.cabal/store
key: ${{ runner.os }}-${{ matrix.ghc }}-cabal
- uses: pavpanchekha/setup-z3@1.2.2
name: setup z3
with:
version: "4.8.7"
- name: update
run: cabal update
- name: build examples
if: ${{ matrix.ghc == '8.2.2' }}
run: cabal build uom-plugin-examples
- name: test thoralf-plugin-rows:rows
run: cabal test thoralf-plugin-rows:rows --test-show-details=direct --test-option="--color=always"
- name: test thoralf-plugin-uom:defs
run: cabal test thoralf-plugin-uom:defs --test-show-details=direct --test-option="--color=always"
- name: test thoralf-plugin-uom:force
run: cabal test thoralf-plugin-uom:force --test-show-details=direct --test-option="--color=always"
- name: test thoralf-plugin-uom:delay-eq
run: cabal test thoralf-plugin-uom:delay-eq --test-show-details=direct --test-option="--color=always"
- name: test thoralf-plugin-uom:units
run: cabal test thoralf-plugin-uom:units --test-show-details=direct --test-option="--color=always"
- name: test thoralf-plugin-uom:uom-diy
run: cabal test thoralf-plugin-uom:uom-diy --test-show-details=direct --test-option="--color=always"
- name: test thoralf-plugin-uom:uom-quantity
run: cabal test thoralf-plugin-uom:uom-quantity --test-show-details=direct --test-option="--color=always"
- name: build thoralf-plugin-defs
run: cabal build thoralf-plugin-defs
- name: test uom-plugin:defs with ghc-8.2.2
if: ${{ matrix.ghc == '8.2.2' }}
run: cabal test uom-plugin:defs --test-show-details=direct --test-option="--color=always"
- name: test uom-plugin:defs with ghc-9.2.1
if: ${{ matrix.ghc == '9.2.1' }}
run: cabal test uom-plugin:defs --test-show-details=direct --test-option="--color=always"
- name: test uom-plugin:units with ghc-8.2.2
if: ${{ matrix.ghc == '8.2.2' }}
run: cabal test uom-plugin:units --test-show-details=direct --test-option="--color=always"
- name: test uom-plugin:units with ghc-9.2.1
if: ${{ matrix.ghc == '9.2.1' }}
run: cabal test uom-plugin:units --test-show-details=direct --test-option="--color=always"