From d510fd99544bbe499c3dcb88fcb518bd7ac2fd63 Mon Sep 17 00:00:00 2001 From: Yves Date: Thu, 8 Feb 2024 14:04:08 +0100 Subject: [PATCH] Updated agda and std-lib version, added agda2hs --- .github/workflows/ci.yaml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index a4b64f9d..e4490897 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -13,15 +13,17 @@ jobs: - name: 📥 Checkout repository uses: actions/checkout@v4 - # Setup Agda 2.6.3 with its recommended version of agda-stdlib and + # Setup Agda 2.6.4.1 with version 2.0 of agda-stdlib and # uses standard-library as default - name: ❄ Setup Agda uses: wenkokke/setup-agda@v2 with: - agda-version: '2.6.3' - agda-stdlib-version: 'recommended' + agda-version: '2.6.4.1' + agda-stdlib-version: '2.0' agda-defaults: | standard-library + agda-libraries: | + https://github.com/agda/agda2hs.git#v1.2 - name: ❓ Typecheck run: |