expand test range

leanprover · Nov 4, 2024 · 3ab759d · 3ab759d
1 parent 8a5be48
commit 3ab759d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -24,7 +24,8 @@ jobs:
           - "4.10.0"
           - "4.11.0"
           - "4.12.0"
-          - "4.13.0-rc1"
+          - "4.13.0"
+          - "4.14.0-rc1"
           - "nightly-2024-08-09"
           - "nightly-2024-08-29"
           - "nightly-2024-09-03"