Test.

tomaz1502 · Jul 13, 2024 · 27603ef · 27603ef
1 parent 30d8bc7
commit 27603ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -18,7 +18,7 @@ jobs:
     - uses: actions/checkout@v3
     - uses: wenkokke/setup-agda@v2
       with:
-        agda-version: '2.6.4.3'
+        agda-version: '2.6.4.1'
 
     - name: Install dependencies
       run: |