Test.

tomaz1502 · Jul 13, 2024 · 4a94ba6 · 4a94ba6
1 parent 132c349
commit 4a94ba6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -19,6 +19,7 @@ jobs:
     - uses: wenkokke/setup-agda@v2
       with:
         agda-version: '2.6.4.1'
+        ghc-version: '8.10.3'
 
     - name: Install dependencies
       run: |