CI: bump setup-agda

agda · Jan 17, 2025 · ad4c616 · ad4c616
1 parent 234d559
commit ad4c616
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
-      - uses: omelkonian/setup-agda@v2
+      - uses: omelkonian/setup-agda@v2.1
         with:
           agda-version: 2.7.0
           stdlib-version: 2.1.1