chore: update CI matrix

leanprover · Jul 16, 2024 · 99a1c6d · 99a1c6d
1 parent 21e7b54
commit 99a1c6d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -15,16 +15,16 @@ jobs:
           - "4.6.0"
           - "4.7.0"
           - "4.8.0"
-          - "4.9.0-rc1"
-          - "nightly-2024-06-12"
+          - "4.9.0"
+          - "nightly-2024-07-12"
         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.8.0"
+          - toolchain: "4.9.0"
             platform:
               os: macos-latest
               installer: |