chore: update CI matrix

leanprover · Jul 29, 2024 · ad2c937 · ad2c937
1 parent 38b2cee
commit ad2c937
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,15 +16,16 @@ jobs:
           - "4.7.0"
           - "4.8.0"
           - "4.9.0"
-          - "nightly-2024-07-12"
+          - "4.10.0-rc2"
+          - "nightly-2024-07-27"
         platform:
           - os: ubuntu-latest
             installer: |
               curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
         # Mac runners are rare and expensive, so spot-check that the
         # subprocess support seems OK but be less thorough
         include:
-          - toolchain: "4.9.0"
+          - toolchain: "4.9.1"
             platform:
               os: macos-latest
               installer: |