From d25a793b5f4768e630312e4995ab45b5dda45b43 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-checking.yml | 29 +++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 .github/workflows/bounds-checking.yml diff --git a/.github/workflows/bounds-checking.yml b/.github/workflows/bounds-checking.yml new file mode 100644 index 0000000..5184d51 --- /dev/null +++ b/.github/workflows/bounds-checking.yml @@ -0,0 +1,29 @@ +name: bounds-checking +on: + - push + - pull_request + +defaults: + run: + shell: bash + +jobs: + bounds-checking: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: haskell-actions/setup@v2 + id: setup-haskell-cabal + with: + ghc-version: 'latest' + - name: Update cabal package database + run: cabal update + - uses: actions/cache@v4 + 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'