diff --git a/.github/workflows/bounds.yml b/.github/workflows/bounds.yml new file mode 100644 index 0000000..94f7c62 --- /dev/null +++ b/.github/workflows/bounds.yml @@ -0,0 +1,30 @@ +name: win-mac-ci +on: + - push + - pull_request + +defaults: + run: + shell: bash + +jobs: + bounds-checking: + needs: build + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: haskell-actions/setup@v2 + id: setup-haskell-cabal + with: + ghc-version: 'latest' + - name: Update cabal package database + run: cabal update + - uses: actions/cache@v3 + name: Cache cabal stuff + with: + path: | + ${{ steps.setup-haskell-cabal.outputs.cabal-store }} + dist-newstyle + key: ${{ runner.os }}-latest + - name: Test + run: cabal test --ghc-options='-fcheck-prim-bounds -fno-ignore-asserts'