Add wave front invariant static check #3
Workflow file for this run
This file contains hidden or 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: LiquidHaskell | |
| on: | |
| pull_request: | |
| branches: | |
| - master | |
| jobs: | |
| liquidhaskell: | |
| name: Build / Run Checks | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| cabal: ["3.16.0.0"] | |
| ghc: | |
| - "9.14.1" | |
| z3: | |
| - "4.15.1" | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - name: Setup z3-${{ matrix.z3 }} | |
| uses: pavpanchekha/setup-z3@6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98 | |
| with: | |
| version: ${{ matrix.z3 }} | |
| distribution: glibc-2.39 | |
| - name: Setup GHC and cabal-install | |
| uses: haskell-actions/setup@v2 | |
| with: | |
| ghc-version: ${{ matrix.ghc }} | |
| cabal-version: ${{ matrix.cabal }} | |
| - name: Configure cabal | |
| working-directory: ./Diff-liquidhaskell | |
| run: | | |
| cabal update | |
| # should produce a plan.json file | |
| cabal build --dry-run | |
| - uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cabal/packages | |
| ~/.cabal/store | |
| ./Diff-liquidhaskell/dist-newstyle | |
| key: ${{ runner.os }}-${{ matrix.ghc }}-cabal-${{ hashFiles('./Diff-liquidhaskell/dist-newstyle/cache/plan.json') }} | |
| - name: Install dependencies | |
| working-directory: ./Diff-liquidhaskell | |
| run: cabal build --dependencies-only -j Diff-liquidhaskell | |
| - name: Build (run LiquidHaskell checks) | |
| working-directory: ./Diff-liquidhaskell | |
| run: cabal build -j Diff-liquidhaskell |