fix ci

FernandoChu · Dec 3, 2023 · a843b10 · a843b10
1 parent b132ee1
commit a843b10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -14,7 +14,7 @@ jobs:
           node-version: 18
           cache: "npm"
 
-      - uses: wenkokke/setup-agda@v2
+      - uses: wenkokke/setup-agda@v2.1.0
         with:
           agda-version: "2.6.4"