Skip to content

Switch to haskell-actions/setup #397

Switch to haskell-actions/setup

Switch to haskell-actions/setup #397

Workflow file for this run

name: stack
on:
push:
pull_request:
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
cabal: ["3.10"]
ghc:
- "9.2.8"
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: haskell-actions/setup@v2
name: Setup Stack
with:
enable-stack: true
stack-version: "latest"
cabal-version: ${{ matrix.cabal }}
- uses: pavpanchekha/[email protected]
name: setup z3
with:
version: "4.8.7"
- uses: actions/cache@v2
name: Cache ~/.stack
with:
path: ~/.stack
key: ${{ runner.os }}-${{ matrix.ghc }}-stack
# Stack has problems building all the tests because of doctest-parallel.
# - name: build tests
# run: stack test --no-run-tests --no-terminal --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test thoralf-plugin-rows:rows
run: stack test thoralf-plugin-rows:rows --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test thoralf-plugin-uom:defs
run: stack test thoralf-plugin-uom:defs --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test thoralf-plugin-uom:force
run: stack test thoralf-plugin-uom:force --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test thoralf-plugin-uom:delay-eq
run: stack test thoralf-plugin-uom:delay-eq --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test thoralf-plugin-uom:units
if: ${{ matrix.ghc != '9.0.2' }}
run: stack test thoralf-plugin-uom:defs --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test thoralf-plugin-uom:uom-diy
run: stack test thoralf-plugin-uom:uom-diy --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test thoralf-plugin-uom:uom-quantity
run: stack test thoralf-plugin-uom:uom-quantity --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: build thoralf-plugin-defs
run: stack build thoralf-plugin-defs
- name: test uom-plugin:defs
if: ${{ matrix.ghc == '8.2.2' }}
run: stack test uom-plugin:defs --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml
- name: test uom-plugin:units
if: ${{ matrix.ghc == '8.2.2' }}
run: stack test uom-plugin:units --no-terminal --test-arguments "--color=always" --stack-yaml=./stack/ghc-${{ matrix.ghc }}.yaml