chore: add more Lean versions to CI

leanprover · May 8, 2024 · f0d8c10 · f0d8c10
1 parent e143cdf
commit f0d8c10
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -14,7 +14,8 @@ jobs:
           - "4.5.0"
           - "4.6.0"
           - "4.7.0"
-          - "nightly-2024-04-07"
+          - "4.8.0-rc1"
+          - "nightly-2024-05-08"
         platform:
           - os: ubuntu-latest
             installer: |