From 6a7bb92160a1dad5966db9ef6fda33ef6fc9cde4 Mon Sep 17 00:00:00 2001 From: Masahiro Sakai Date: Wed, 4 Sep 2024 23:30:43 +0900 Subject: [PATCH] GitHub Actions: update build matrix --- .github/workflows/haskell.yml | 2 +- logic-TPTP.cabal | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml index 70d955b..7dfd6c4 100644 --- a/.github/workflows/haskell.yml +++ b/.github/workflows/haskell.yml @@ -10,7 +10,7 @@ jobs: strategy: fail-fast: false matrix: - ghc: ['8.6.5', '8.8.4', '8.10.7', '9.0.2', '9.2.8', '9.4.5', '9.6.2'] + ghc: ['8.6.5', '8.8.4', '8.10.7', '9.0.2', '9.2.8', '9.4.8', '9.6.6', '9.8.2'] steps: - uses: actions/checkout@v2 diff --git a/logic-TPTP.cabal b/logic-TPTP.cabal index e35d979..09f3218 100644 --- a/logic-TPTP.cabal +++ b/logic-TPTP.cabal @@ -37,8 +37,9 @@ author: Daniel Schüssler extra-source-files: testing/compileTests.sh changelog.markdown -tested-with: GHC==9.6.2 -tested-with: GHC==9.4.5 +tested-with: GHC==9.8.2 +tested-with: GHC==9.6.6 +tested-with: GHC==9.4.8 tested-with: GHC==9.2.8 tested-with: GHC==9.0.2 tested-with: GHC==8.10.7