chore: rotate version testing (#60)

Remove irrelevant nightlies and add a newer one
leanprover · Nov 6, 2024 · f513056 · f513056
1 parent 83bf19c
commit f513056
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -26,13 +26,12 @@ jobs:
           - "4.12.0"
           - "4.13.0"
           - "4.14.0-rc1"
-          - "nightly-2024-08-09"
-          - "nightly-2024-08-29"
           - "nightly-2024-09-03"
           - "nightly-2024-09-17"
           - "nightly-2024-10-10"
           - "nightly-2024-10-18"
           - "nightly-2024-10-30"
+          - "nightly-2024-11-04"
         platform:
           - os: ubuntu-latest
             installer: |