Merge pull request #4 from distrap/ci/bump

Bump CI
DistRap · Apr 26, 2022 · 20d8477 · 20d8477
2 parents c4a4da6 + 03e91a6
commit 20d8477
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -4,9 +4,9 @@ jobs:
     steps:
       - name: CVC4 dependency
         run: sudo apt install cvc4
-      - uses: "actions/checkout@v1"
+      - uses: "actions/checkout@v3"
       - id: setup-haskell-cabal
-        uses: "haskell/actions/setup@v1.2"
+        uses: "haskell/actions/setup@v2"
         with:
           cabal-version: "${{ matrix.cabal }}"
           enable-stack: false
@@ -20,7 +20,7 @@ jobs:
           fi
       - name: freeze
         run: cabal freeze
-      - uses: "actions/cache@v2"
+      - uses: "actions/cache@v3"
         with:
           key: "${{ runner.os }}-${{ matrix.ghc }}-cabal-${{ hashFiles('cabal.project.freeze') }}"
           path: |
@@ -37,9 +37,9 @@ jobs:
     strategy:
       matrix:
         cabal:
-          - '3.2'
+          - '3.4'
         ghc:
-          - '8.10.4'
+          - '8.10.7'
 name: Haskell CI
 on:
   - push

diff --git a/ci.dhall b/ci.dhall
@@ -8,8 +8,8 @@ in    haskellCi.generalCi
           # haskellCi.matrixSteps
         )
         ( Some
-            { ghc = [ haskellCi.GHC.GHC8104 ]
-            , cabal = [ haskellCi.Cabal.Cabal32 ]
+            { ghc = [ haskellCi.GHC.GHC8107 ]
+            , cabal = [ haskellCi.Cabal.Cabal34 ]
             }
         )
     : haskellCi.CI.Type