From 0b77adc1f50ce1492bfb0631a774e4f1de82b2dc Mon Sep 17 00:00:00 2001 From: David Thrane Christiansen Date: Fri, 6 Feb 2026 09:50:28 +0100 Subject: [PATCH] chore: bump version tests through 4.27.0 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 330e277..d6f00b5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,7 +16,7 @@ jobs: # Here, "original" means to use the lean-toolchain file's contents in the repository # Support starts at 4.23.0 because that's when the first support # for modules landed. - lean-version: ["original", "v4.23.0", "v4.24.0", "v4.25.0"] + lean-version: ["original", "v4.23.0", "v4.24.0", "v4.25.0", "v4.26.0", "v4.27.0"] name: CI (${{ matrix.lean-version }}) steps: