[ ci ]

banacorn · Nov 4, 2024 · f65f83e · f65f83e
1 parent 6d046f5
commit f65f83e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,7 +18,7 @@ jobs:
     strategy:
       matrix:
         os: [windows-latest, ubuntu-latest, macos-latest]
-        stack-resolver: [lts-20.26]
+        agda: ["lts-20.26 Agda-2.6.4"]
       fail-fast: false
 
     # Steps represent a sequence of tasks that will be executed as part of the job
@@ -83,7 +83,7 @@ jobs:
 
       - name: ⏬ Install Agda
         run: |
-          stack install --resolver ${{ matrix.stack_resolver }} Agda-2.6.4
+          stack install --resolver ${{ matrix.agda }}
           which agda
           agda --version