Use nightly post-fix, plus release

leanprover · Aug 5, 2024 · 7c3a510 · 7c3a510
1 parent 563e437
commit 7c3a510
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,11 +16,8 @@ jobs:
           - "4.7.0"
           - "4.8.0"
           - "4.9.0"
-          - "4.10.0-rc2"
-          - "nightly-2024-07-12"
-          - "nightly-2024-07-17"
-          - "nightly-2024-07-22"
-          - "nightly-2024-07-27"
+          - "4.10.0"
+          - "nightly-2024-08-03"
         platform:
           - os: ubuntu-latest
             installer: |