From 35aa1f2fb00dcffc9a4112d7b3662972cfc9cc49 Mon Sep 17 00:00:00 2001 From: Yves Date: Thu, 8 Feb 2024 14:19:39 +0100 Subject: [PATCH] Downgraded agda version The specified version was not available on CI --- .github/workflows/ci.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index e4490897..1ec0751a 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -13,13 +13,13 @@ jobs: - name: 📥 Checkout repository uses: actions/checkout@v4 - # Setup Agda 2.6.4.1 with version 2.0 of agda-stdlib and + # Setup Agda 2.6.3 with recommended version of agda-stdlib and # uses standard-library as default - name: ❄ Setup Agda uses: wenkokke/setup-agda@v2 with: - agda-version: '2.6.4.1' - agda-stdlib-version: '2.0' + agda-version: '2.6.3' + agda-stdlib-version: 'recommended' agda-defaults: | standard-library agda-libraries: |