From b5ca41cbc6346ed8726eefa8f558f65f8d6c93ed Mon Sep 17 00:00:00 2001 From: Nathan van Doorn Date: Mon, 21 Oct 2024 13:03:08 +0200 Subject: [PATCH 1/2] Bump standard library dependency to 2.1 --- agda-categories.agda-lib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib index 3f89afb89..b0bd762f3 100644 --- a/agda-categories.agda-lib +++ b/agda-categories.agda-lib @@ -1,3 +1,3 @@ name: agda-categories -depend: standard-library-2.0 +depend: standard-library-2.1 include: src/ From f4b787c61b08bcbbcfde6c866f5e5f2965562817 Mon Sep 17 00:00:00 2001 From: Nathan van Doorn Date: Mon, 21 Oct 2024 14:07:04 +0200 Subject: [PATCH 2/2] Update in github workflow --- .github/workflows/ci-ubuntu.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index 5c9a851a1..1b2f4edf2 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -46,7 +46,7 @@ on: env: AGDA_COMMIT: tags/v2.6.4 - STDLIB_VERSION: "2.0" + STDLIB_VERSION: "2.1" GHC_VERSION: 8.10.7 CABAL_VERSION: 3.6.2.0