Bump Agda to 2.6.4 and stdlib to 1.7.3

agda · Nov 3, 2023 · 94fe604 · 94fe604
1 parent 766692e
commit 94fe604
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,8 +10,8 @@ jobs:
       - uses: actions/checkout@v2.3.1
       - uses: omelkonian/setup-agda@master
         with:
-          agda-version: 2.6.3
-          stdlib-version: 1.7.2
+          agda-version: 2.6.4
+          stdlib-version: 1.7.3
           main: Classes
           deploy: ${{ github.ref == 'refs/heads/master' }}
           token: ${{ secrets.GITHUB_TOKEN }}