CI: bump to stdlib-2.0

agda · Mar 26, 2024 · 4677443 · 4677443
1 parent 6945d56
commit 4677443
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,7 +11,7 @@ jobs:
       - uses: omelkonian/setup-agda@master
         with:
           agda-version: 2.6.4
-          stdlib-version: 2.0-rc1
+          stdlib-version: 2.0
           main: Classes
           deploy: ${{ github.ref == 'refs/heads/master' }}
           token: ${{ secrets.GITHUB_TOKEN }}