Add scarf analytics #421
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: 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" |