diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml index 4fded3a..68b51be 100644 --- a/.github/workflows/haskell.yml +++ b/.github/workflows/haskell.yml @@ -6,7 +6,7 @@ jobs: build: strategy: matrix: - ghc: ['8.6.5', '8.8.4', '8.10.2', '9.0.1'] + ghc: ['8.6.5', '8.8.4', '8.10.7', '9.0.1', '9.4.3'] os: ['ubuntu-latest', 'macos-latest'] runs-on: ${{ matrix.os }} @@ -30,9 +30,7 @@ jobs: ${{ runner.os }} - name: Install dependencies - run: | - cabal update - cabal build all --only-dependencies --enable-tests --enable-benchmarks + run: cabal build all --only-dependencies --enable-tests --enable-benchmarks - name: Build run: cabal build --enable-tests --enable-benchmarks all - name: Run tests diff --git a/dependent-sum.cabal b/dependent-sum.cabal index ad13c91..df6e271 100644 --- a/dependent-sum.cabal +++ b/dependent-sum.cabal @@ -24,11 +24,11 @@ description: A dependent sum is a generalization of a dependent sum types by using your own \"tag\" types. -tested-with: GHC == 8.0.2, - GHC == 8.2.2, - GHC == 8.4.4, - GHC == 8.6.5, - GHC == 8.8.3 +tested-with: GHC == 8.6.5, + GHC == 8.8.4, + GHC == 8.10.7, + GHC == 9.0.1, + GHC == 9.4.3 extra-source-files: ChangeLog.md , examples/*.hs