address reasonable Hlint suggestions #44
Workflow file for this run
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 | |
| on: | |
| push: | |
| jobs: | |
| build-linux: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| ghc-ver: ["9.2.8", "9.4.5", "9.6.2"] | |
| cabal: ["3.10.1.0"] | |
| # complete all jobs | |
| fail-fast: false | |
| name: GHC v${{ matrix.ghc-ver }} | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| submodules: true | |
| - name: Copy cabal project files | |
| run: | | |
| cp cabal.project.werror cabal.project.local | |
| cp cabal.project.freeze.ghc-${{ matrix.ghc-ver }} cabal.project.freeze | |
| - uses: haskell/actions/setup@v1 | |
| id: setup-haskell | |
| name: Setup Haskell | |
| with: | |
| ghc-version: ${{ matrix.ghc-ver }} | |
| cabal-version: ${{ matrix.cabal }} | |
| - name: Cache | |
| uses: actions/cache@v1 | |
| with: | |
| path: /home/runner/.cabal/store/ghc-${{ matrix.ghc-ver }} | |
| # Prefer previous SHA hash if it is still cached | |
| key: linux-${{ matrix.ghc-ver }}-${{ hashFiles('cabal.project.freeze') }}-${{ github.sha }} | |
| # otherwise just use most recent build. | |
| restore-keys: linux-${{ matrix.ghc-ver }}-${{ hashFiles('cabal.project.freeze') }} | |
| - name: Cabal update | |
| run: cabal update | |
| # Build macaw-base dependencies and crucible separately just so later | |
| # steps are less verbose and major dependency failures are separate. | |
| - name: Build | |
| run: cabal build | |
| - name: Test | |
| run: cabal test |