try more nightlies

leanprover · Jul 29, 2024 · 563e437 · 563e437
1 parent ad2c937
commit 563e437
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,6 +17,9 @@ jobs:
           - "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"
         platform:
           - os: ubuntu-latest