From 26170e2744e0fcda98c9ed8699d6c2a946496ea9 Mon Sep 17 00:00:00 2001 From: Bodigrim Date: Tue, 11 Jun 2024 20:54:46 +0100 Subject: [PATCH] CI: add bounds checking job --- .github/workflows/bounds.yml | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 .github/workflows/bounds.yml 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'