From 0ee87a67947ef52f92d2a91dec2ad21e5cc2d8ef Mon Sep 17 00:00:00 2001 From: Orestis Melkonian Date: Mon, 4 Aug 2025 19:54:14 +0300 Subject: [PATCH] Bump to agda-2.8.0 --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4bdd182..17c1caf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,10 +13,10 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 - - uses: omelkonian/setup-agda@v2.2 + - uses: omelkonian/setup-agda@v2.3 with: - agda-version: 2.7.0.1 - stdlib-version: 2.2 + agda-version: 2.8.0 + stdlib-version: 2.3 main: standard-library-classes deploy: ${{ github.ref == 'refs/heads/master' }} token: ${{ secrets.GITHUB_TOKEN }}