chore: add recent Leans to CI (#55)

leanprover · Oct 11, 2024 · d0b2c57 · d0b2c57
1 parent dd480cb
commit d0b2c57
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -23,11 +23,11 @@ jobs:
           - "4.9.0"
           - "4.10.0"
           - "4.11.0"
-          - "4.12.0-rc1"
-          - "nightly-2024-08-09"
-          - "nightly-2024-08-29"
+          - "4.12.0"
+          - "4.13.0-rc1"
           - "nightly-2024-09-03"
           - "nightly-2024-09-17"
+          - "nightly-2024-10-10"
         platform:
           - os: ubuntu-latest
             installer: |