chore: update versions for testing

leanprover · Dec 2, 2024 · 88f88f8 · 88f88f8
1 parent 88819d2
commit 88f88f8
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -25,12 +25,8 @@ jobs:
           - "4.11.0"
           - "4.12.0"
           - "4.13.0"
-          - "4.14.0-rc1"
-          - "nightly-2024-09-03"
-          - "nightly-2024-09-17"
-          - "nightly-2024-10-10"
-          - "nightly-2024-10-18"
-          - "nightly-2024-10-30"
+          - "4.14.0"
+          - "4.15.0-rc1"
           - "nightly-2024-11-04"
         platform:
           - os: ubuntu-latest